Подчеркивается зеленой линией. Я хочу изменить размер шрифта заголовка вкладки.
Как я могу это сделать?
Как изменить размер шрифта заголовка вкладки редактора Eclipse
Ответ 1
Eclipse использует CSS для собственного стиля, поэтому вы можете изменить файл CSS для своих нужд, как описано здесь.
Файл CSS находится в
ECLIPSE_HOME/plugins/org.eclipse.platform_X.X.X_V.XXXX/css
а класс для названий вкладок называется MPartStack.
Ответ 2
Eclipse Indigo:
Окно- > Настройки- > Внешний вид- > Цвета и шрифты
В окне "Цвет и шрифты":
Папки с надписью и редактором- > Цвет заголовка раздела
Ответ 3
Взято из комментария в Очень большие вкладки в панелях Eclipse на Ubuntu
Настройки → Общие → Внешний вид → Тема → Классический