I am using ubuntu 18.04 . I only want to change my project explorer's zoom level or its font size. Currently I think the project explorer is using my system font which I don't want to change.
I tried this solution but in my plugins/theme there is no css folder or css files??
1 Answer
Although I'm running Mac OS and Eclipse 4.15, this thread regarding the Eclipse theme CSS helped me change the project explorer font size:
The key part is to find the path to the theme css you're using. In my case, the path was /Users/myuser/.p2/pool/plugins/org.eclipse.ui.themes_X.X.X.vXXXXXXXX-XXXX/css/dark and the file I needed to change was e4-dark_mac.css. On an Ubuntu system the path is more likely to resemble /home/myuser/.p2/pool/plugins/org.eclipse.ui.themes_X.X.X.vXXXXXXXX-XXXX/css/dark.
I then added the following rule:
.MPart Tree { font-size-adjust: none; font-size: 14px;
}
