2014-10-03

Eclipse-Tipp: Schriftgröße bequem einstellen

Man traut es sich ja kaum zu schreiben, aber auch im Jahre 2014 muss man in Eclipse einen Einstellungsdialog öffnen, um die Schriftgröße in einem Editor zu verändern. Naja, man müsste, wenn es nicht findige Entwickler gäbe, die solche Probleme mit einem Plug-in lösen. eclipse-fonts gibt es schon eine Weile, und sehr wahrscheinlich kennen es Viele auch schon. Trotzdem hier der Link auf die Projekthomepage auf Google Code.

No comments:

Post a Comment