DeadMetaler,
если только я ничего не путаю, то в Java приложениях используются шрифты из темы GTK2, следовательно можно попробовать поменять шрифт в настройках темы GTK2, например, с Ubuntu на Sans или на какой другой..
Это можно сделать вручную. Нужно создать в домашнем каталоге файлы
.gtkrc-2.0 и
.gtkrc.mine содержащие всего одну строку
include '~/.gtkrc.mine'
и создать собственно сам файл настроек
.gtkrc.mine, в нем нужно либо указать тему для GTK2, которую хотите использовать
gtk-theme-name = "название_темы_GTK2_которая_установлена_в_системе"
либо указать путь к файлу настроек темы
include '~/.themes/название_темы/gtk-2.0/gtkrc'
аналогично можно настроить темы значков и их размер, соответственно задав имя установленной темы в сторке
gtk-icon-theme-name =, а размер в
gtk-toolbar-icon-size = , например 16,16 или 24,24.
Но нам сейчас важно поменять шрифт и его размер, используемый в приложениях GTK (и если я не ошибаюсь, то и в Java).
Для этого, все в том же файле
.gtkrc.mine, дописываем следующее
style "schrift"
{
font_name = "DejaVu Sans 10"
}
widget_class "*" style "schrift"
gtk-font-name = "Sans 9"
...шрифт "Sans" и его размер "9" можно попробовать менять из числа установленных в вашей системе пока не подберете тот что Вам подходит
Не слишком сложно?..
Можно и попроще, установите удобным для Вас способом
gtk-chtheme, это утилита настройки тем GTK2 с графическим интерфейсом, и поиграйтесь с ней