How can I configure the font size for the tree item in the package explorer/outline in Eclipse?
Which item in Font under Preferences I should change?
Eclipse uses a system user interface font for Project Explorer, so you can change it with an OS-specific method. Note: Eclipse will have to be restarted even if other apps respond immediately to the font change.
sudo yum install gnome-tweak-tool
or sudo apt-get install gnome-tweak-tool
. In the Fonts page, change the Interface font.Some other parts of Eclipse will also be affected, such as the startup dialog.
Here is an option that works on my Windows7 machine suggested by Diego V: https://stackoverflow.com/a/15011440/1713920
On Juno 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:
#org-eclipse-jdt-ui-PackageExplorer Tree, #org-eclipse-ui-navigator-ProjectExplorer Tree { font-size: 10px; /* <-- Desired font size */ }
In Eclipse v4.2 (Juno) you can modify the CSS by going to menu Window → Preferences → General → Appearances.
Does your Eclipse .ini file contain a reference to 'smallFonts?' On Mac you might see something like...
-Dorg.eclipse.swt.internal.carbon.smallFonts
If you remove this line, you'll see the font size in various views fatten up.
As someone has already mentioned previously, modifying the "e4_basestyle.css" file worked for me on Eclipse v4.3 (Kepler) and Windows 8.
Also, I find that you must also change the text size/style under
Preferences → Team → Git → LabelDecorations
or
Preferences → Appearance → ColorsAndFonts, under the Git section.
to make sure that text size/colors for uncommitted files are in sync with your changes. This is of course if you initialise your project as a repository.
Eclipse v4.5 (Mars) using the built-in dark theme on Linux.
eclipse/plugins/org.eclipse.ui.themes_1.1.0.v20150511-0913/css/dark/e4-dark_globalstyle.css
Around line 204, you can add your chosen font size:
background-color: #2F2F2F;
color: #CCC;
font-size: 8;