On Juno and up you can adjust that font by CSS.
Lookup the files in
eclipse\plugins\org.eclipse.platform_4.2.x.y\css for your current style sheet (probably e4_default_win7.css ), and then just add the following rule:
| |||||
|
9
|
FYI:
From Eclipse Luna(4.4)
Looks like the css files are no longer in old folder:
they are moved to the new folder:
eclipse/plugins/org.eclipse.ui.themes_x.x.x.vxxxxx/css
And you must select a theme to apply it, in the menu
[Windows]==>[Prefrence]==>[General]==>[Appearance] |