On Juno and up you can adjust that font by CSS.
Lookup the files in eclipsepluginsorg.eclipse.platform_4.2.x.ycss
for your current style sheet (probably e4_default_win7.css
), and then just add the following rule:
#org-eclipse-jdt-ui-PackageExplorer Tree,
#org-eclipse-ui-navigator-ProjectExplorer Tree {
font-size: 10px; /* <-- Desired font size */
}
Update: stylesheets are in eclipse/plugins/org.eclipse.ui.themes_x.x.x.vxxxxx/css
folder since Eclipse 4.4 (Luna).
与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…