Pages: [1]   Go Down
Author Topic: arduino java menu font  (Read 306 times)
0 Members and 1 Guest are viewing this topic.
Offline Offline
Newbie
*
Karma: 0
Posts: 1
View Profile
 Bigger Bigger  Smaller Smaller  Reset Reset

Hi,

I've just installed arduino-0022 on Gentoo Linux.
It looks great except for the toplevel menu font, which is extremely small (barely readable), and which I can't seem to control from the preferences.
I've edited the preferences.txt and theme.txt files, and found that the font settings found there do not effect the toplevel menu (File, Edit, Sketch, etc...).

I assume this is a java setting managed outside of the arduino configuration.
I'm looking for help on finding where this font selection can be modified.

Thanks,
-bgreen
Logged

Connecticut
Offline Offline
Edison Member
*
Karma: 17
Posts: 1216
RTFD (Datasheet in our case)
View Profile
 Bigger Bigger  Smaller Smaller  Reset Reset

Try downloading another Java application and see if you get the same results. If so, it's a Java problem.
Logged

Pages: [1]   Go Up
Jump to: