Dec 21, 2007 16:16
Eclipse для
части рабочих панелей, таких как Outline,
Package Explorer, не позволяет переопределить
используемый шрифт а пользует системный,
такой как в меню. В качестве системного
шрифта у меня используется Arial 10, и в
меню он меня всем устраивает, но в Outline
и Package Explorer я бы предпочла нечто более
разборчивое, чем сжатый Arial, так как я
часто этими панелями пользуюсь. Поэтому
решила подменить системный шрифт для
Eclipse, и отыскала следующее решение.
Как известно
виджеты Еclipse построены на базе gtk, поэтому
можно переопределить шрифт в конфигурационном
файле gtk - ~/.gtrkrc.XXX (полное
имя требуемого файла можно посмотреть
через strace -f). Но он используется всеми
приложениями, что не годится. Поэтому
при запуске eclipse default gtkrc нужно
переопределить на custom через переменную
окружения GTK2_RC_FILES.
Создавать
свой скрипт для запуска
Eclipse c выставленной переменной не надо,
такой файл уже предусмотрен, и при старте
считывается по пути ~/.eclipse/eclipserc. Просто
создаем в .eclipse этот файл, если его нет,
и вписываем туда установку GTK2_RC_FILES. Свой
gtrkrc тоже можно положить в .eclipse папку.
Cодержимое
.gtkrc:
style
"user-font"
{
font_name = "Verdana 9"
}
widget_class "*"
style "user-font"
Cодержимое
eclipserc:
export
GTK2_RC_FILES=~/.eclipse/.gtkrc
VMARGS="-Xmx256M"
java,
eclipse