Как изменить размер вкладки редактора в Eclipse?

Question

Я хочу изменить размер вкладки файла в редакторе eclipse. В верхней части каждого файла есть вкладка с именем файла, но в моей системе его высота огромна.

Использование: Helios Service Release 1

Система: Ubuntu 10.04 LTS

Кто-нибудь знает, как это сделать?

Answer 1

Перезапустите eclipse, и новый размер шрифта будет зарегистрирован на вкладках вашего файла.

Answer 2

Я бы посмотрел настройки шрифта вашей системы на панели управления вашей ОС или аналогичный.Кто-нибудь из них имеет необычно большой размер?Eclipse подбирает настройки системного шрифта для использования в своем пользовательском интерфейсе.