Jawoll, es war nicht einfach zu finden, aber nun bin ich doch etwas schlauer!
Worum geht’s? Die verwendete Schriftart im Eclipse-Editor möchte ich ändern, da diese nicht sehr gut lesbar ist.
System: OS X 10.5.5, Eclipse v 3.3.1.1
Lösung: Menü Eclipse – Preferences – General – Appearance – Colors and Fonts.
Hier wird es dann spannend. In der Tabelle gibt es einen Eintrag Java Editor Text Font. Auswählen und Change … wählen.
Juchhu!!!