| Wrong font on Eclipse Juno Editor Tabs [message #892431] |
Thu, 28 June 2012 04:19  |
 Harald Wellmann
Messages: 28
Registered: July 2009
Location: Hamburg, Germany |
Junior Member |
|
|
I use Eclipse on Ubuntu 12.04 with KDE and the QtCurve theme which should apply all KDE style settings to GTK applications.
This works fine with Eclipse Indigo, but not with Eclipse Juno.
My standard font is Droid Sans 9 which is picked up by all widgets except the label on editor and view tabs, e.g. Project Explorer, which still looks like Sans 12.
Any ideas how to change this?
Best regards,
Harald
|
|
|
|
|
|
| Re: Wrong font on Eclipse Juno Editor Tabs [message #893722 is a reply to message #892607] |
Thu, 05 July 2012 07:01  |
Mihael Kukec
Messages: 1
Registered: July 2012 |
Junior Member |
|
|
Harald Wellmann wrote on Thu, 28 June 2012 13:23OK, I've found the answer here: http://wiki.eclipse.org/Eclipse4/CSS.
I've installed the E4 CSS editor, and changed the font-size and font-family on .MPartStack to reduce my editor tabs to a reasonable size.
But there must be a better solution...
Harald and Paul have answered to this, but just to give clarification.
There is dot in the link. This one goes right to the solution 
http://wiki.eclipse.org/Eclipse4/CSS
Without instaling the editor, just edit this file:
eclipse/plugins/org.eclipse.platform_4.2.0.v201206081400/css/e4_default_gtk.css
This is the par ot the file to edit:
.MPartStack {
font-size: 11;
swt-simple: false;
swt-mru-visible: false;
}
I've changed font-size to "9" and it looks much better now. I am using Ubuntu and also prefer smaller fonts than default settings.
[Updated on: Thu, 05 July 2012 07:21] Report message to a moderator |
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.07697 seconds
] 
Search
Help
Register
Login
Home
