A
A
Alexey Aristov2016-04-01 13:52:58
Eclipse
Alexey Aristov, 2016-04-01 13:52:58

How to change the font size in the Project explorer panel of the Eclipse editor?

I work in Eclipse Mars.1 Release (4.5.1) under Windows 10. I
wanted to increase the font size in the Project explorer panel. I climbed through the settings - I did not find it.
Googled: they say that you need to fix css. I looked - I don't have such css files in the folder with Eclipse.

Answer the question

In order to leave comments, you need to log in

1 answer(s)
A
Alexander Kholodovich, 2016-04-01
@aristov

Look in /plugins/org.eclipse.ui.themes_x.xxvxxxxx/css (in the folder with Eclipsa)
UPD : They say that you need to add to css with the desired theme (for you, most likely - e4_default_win7.css, look in the Eclipsa settings) like this:

#org-eclipse-jdt-ui-PackageExplorer Tree,
#org-eclipse-ui-navigator-ProjectExplorer Tree {
  font-size: 10px; /* <-- Desired font size */
}

Didn't find what you were looking for?

Ask your question

Ask a Question

731 491 924 answers to any question