Geek Answers Handbook

Unable to set "detail header font" in Eclipse on Linux

Each font in Eclipse looks great, but the tab headers are larger than I would prefer. I am trying to change it, but Eclipse does not recognize the changes. To make changes, go to Settings> General> Appearance> Font & Colors. I am editing the "batch name font", but the change is not saved, although the preview is fine.

+8
eclipse linux font-size
source share
2 answers

if you are using Linux that uses GTK for eclipse, you can modify the file $ {ECLIPSE_PATH} /plugin/org.eclipse.platform_ $ {version} /css/e4_default_gtk.css. If you are on a different OS, you can also find the corresponding css files.

find

.MPartStack { font-size: 11; swt-simple: false; swt-mru-visible: false; }

change the font size to 9 or another size you want. After restarting eclipse, the font size in the title bar will change.

+11
source share

First solution:

I “solved” the problem for myself by following this tip from the very bottom of the ArchLinux wiki page for Eclipse and deleting everything. css files from /usr/share/eclipse/plugins/org.eclipse.platform_{version number} / css /

This allowed my GTK theme to take complete control and set all the colors and font sizes that I wanted.

If you want to delve into the root cause of this problem, here are some links that I found:

This last page can be a bit confusing. The bottom line is that they switched to a whole new thematic system and left broken options for reasons that I probably will never understand.

For more information, simply google themed eclipse 4 using css . "

+4
source share

More articles:


All Articles