Как изменить размер шрифта в панели Project explorer редактора Eclipse?

Question

[Алексей Аристов]

Работаю в Eclipse Mars.1 Release (4.5.1) под Windows 10.
Захотел увеличить размер шрифта в панели Project explorer. Полазил по настройкам - не нашёл.
Погуглил: говорят, что надо поправить css. Посмотрел - у меня таких css-файлов в папке с Eclipse нет.

Answer 1

[Александр Холодович]

Посмотри в /plugins/org.eclipse.ui.themes_x.x.x.vxxxxx/css (в папке с Эклипсой)

UPD: Поговаривают, что надо добавить в css с нужной темой (для тебя, скорее всего - e4_default_win7.css, глянь в настройках Эклипсы) такое:

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

Comments

[Алексей Аристов]

Получилось, спасибо!

У меня нашёлся такой файл:
\eclipse-4.5\plugins\org.eclipse.ui.themes_1.1.0.v20150511-0913\css\e4-dark_win.css
И в него просто скопипастил этот css.