📅 2014-Nov-03 ⬩ ✍️ Ashwin Nanjappa ⬩ 🏷️ eclipse, fonts, fonts size ⬩ 📚 Archive
The font, font size and colors of most of the UI elements of Eclipse can be changed. Some of them can be set from inside Eclipse, others can be set in the CSS files used by the current Eclipse theme. There are other elements which can be changed only by modifying the settings of the current GTK or GNOME theme.
Based on the current theme that Eclipse is using, many of the settings are in CSS files.
However, you will find that the font and font sizes of Project Explorer, Outline, Problems, Make and many other UI windows which hold tree-like elements cannot be changed from here. To do that you need to modify the CSS file of the theme you are current using. Here is how to do that:
Find out what is the current theme that Eclipse is using. You can see that in Window -> Preferences -> General -> Appearance. For example, I found that mine was using the theme GTK and the Color and Font theme was Default.
Go to the install directory of Eclipse and go to the themes CSS directory. For example, on my system this was plugins/org.eclipse.ui.themes_1.0.1.v20140819-1717/css
.
Open the CSS file that corresponds to the theme that Eclipse is currently using. For example, for my theme I found the file e4_default_gtk.css
.
Add this CSS style to change the font and font size. For example, to set to font Arial with size 8, I would add:
.MPart Tree {
font-family: Consolas;
font-size: 8;
}
Use the GNOME Tweak Tool to set the font and font sizes.
Use the GNOME Color Chooser to set the foreground and background colors of these UI elements.
Related links:
Tried with: Eclipse Luna 4.4.1 and Ubuntu 14.04