Подтвердить что ты не робот

Я не могу изменить размер шрифта в проводнике пакетов в Eclipse

Я пытаюсь изменить размер шрифта проводника пакетов в Eclipse из меню "Окно" → "Настройки" → "Общий" → "Внешний вид", и я не могу изменить размер шрифта. Как я могу это сделать? Я использую Eclipse v4.2 (Juno) в Windows 7.

4b9b3361

Ответ 1

Eclipse использует собственные виджеты Windows, и их настройки могут быть изменены только с вкладки Свойства экрана/Настройки/Дополнительно/Общие свойства. Там вы можете изменить свой DPI экрана, чтобы изменить размер шрифта.

Ответ 2

В Juno и выше вы можете настроить этот шрифт с помощью CSS.

Найдите файлы в eclipse\plugins\org.eclipse.platform_4.2.x.y\css для текущей таблицы стилей (возможно, e4_default_win7.css), а затем просто добавьте следующее правило:

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

Обновление: таблицы стилей находятся в папке eclipse/plugins/org.eclipse.ui.themes_x.x.x.vxxxxx/css с Eclipse 4.4 (Luna).

Ответ 3

FYI:

Из Eclipse v4.4 (Luna):

Похоже, что файлы CSS больше не находятся в старой папке:

`eclipse/plugins/org.eclipse.platform_4.x.x.vy/css`,

Они перемещаются в новую папку:

eclipse/plugins/org.eclipse.ui.themes_x.x.x.vxxxxx/css

И вы должны выбрать тему для ее применения в меню Windows → Предпочтения → Общие → Внешний вид.

Ответ 4

Это сработало для меня:

.MPart Tree{
  font-size: 8;
}

Ответ 5

Это мои настройки и скриншот IDE.

    #org-eclipse-jdt-ui-PackageExplorer Tree,
    #org-eclipse-ui-navigator-ProjectExplorer Tree,
    #org-eclipse-ui-views-ContentOutline Tree,
    #PerspectiveSwitcher ToolBar {
      font-size: 8px;
    }

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

Eclipse screenshot

Ответ 6

Вы можете найти файлы стилей CSS в eclipse/plugins/org.eclipse.platform_4.2.X.vY/css отредактировать свой текущий стиль (возможно, e4_default_win7.css).

Добавьте что-то вроде этого:

    #org-eclipse-ui-jdt-PackageExplorer {
       font-size: 20pt;
    }

и надеюсь, что у вас есть хороший и большой шрифт (я сам не проверял).

Совет для профессионалов: В следующий раз, когда вам понадобится найти идентификатор CSS для части пользовательского интерфейса, используйте CSS Spy, который вы можете открыть с помощью SHIFT - ALT - F5 (после его установки).

Ответ 7

В Ubuntu 14.04 (Trusty Tahr) это был лучший выбор для меня:

.MPart Tree{
  font-size: 10;
}

Ответ 8

Благодаря ответу Veger я успешно изменил шрифт моего PHP Explorer в PHP Perspective (с установленным PDT). Следующий CSS-код,

#org-eclipse-php-ui-explorer Tree {
   font-family: Consolas;
   font-size: 21px;
}

добавляются в файл "eclipse-4.3\plugins\org.eclipse.platform_4.3.1.v20130911-1000\css\e4_default_win7.css".

Вы можете выбрать другой файл CSS, в зависимости от темы, которую вы выбираете в настройках → Общие → Внешний вид: раскрывающийся список "Тема".

Ответ 9

В Eclipse 4.7.x файлы CSS находятся в eclipse/plugins/org.eclipse.ui.themes_1.2.1.v20170809-1435/css/

В моем случае я использую темную тему для OSX, поэтому я открыл файл e4-dark_mac.css и добавил строку размера шрифта:

CTabFolder Tree, CTabFolder Canvas {
    background-color: #2F2F2F;
    color: #CCC;
    font-size: 13pt; // new 
}