In Java 8 I have the same situation.
I guess it should be possible to change the font size. In the
changelog of 2.6 I have found:
Fixes an issue with the LookAndFeel which might cause a GTK+-specified font to not be used
What is this fix about ? How can one define GTK+-font in a Java-aware way ?
···
--
... spell checker error - not enough mana to cast spell ...
Yours sincerely, Konstantin Shmelkov.