Eclipse Indigo Police Changé

Alors j'ai juste mis à niveau vers Eclipse Indigo et il semble que le Java éditeur de texte police a changé.

Il semble être Consolas. Personne ne sait ce que le précédent éditeur par défaut de la police a été donc je ne peux revenir en arrière?

Tout le monde ici a déménagé à l'Indigo, au même moment et personne ne sait ce que le défaut était dans les versions antérieures d'eclipse...

Il pourrait être l'un des Segoe UI, Système, Fixedsys, Courier New,...
Pourquoi supprimer les versions précédentes de l'éclipse? J'ai l'habitude de les tenir pour un an ou deux... juste pour avoir une référence 😉
Parce que l'Aide > Vérifier les Mises à jour est si facile, mais vous faites un bon point.
Je ne peux pas commenter pour l'instant, mais voici pourquoi : bugs.eclipse.org/bugs/show_bug.cgi?id=320616

OriginalL'auteur NightWolf | 2011-08-23