Can't resize font in FILE/EDIT line

I have a problem with the IDE
See pic below
At some point the font for File/Edit etc changed to really small and I can't find anywhere to adjust the size . Can someone help please ?

have you checked the preferences.txt file

it's location is in the file menu (or use "CTRL,")

be sure to close all instances of the IDE when editing that file and do NOT forget to make a backup first :wink:

The Answer was to edit the Arduino start script as per this thread

http://forum.arduino.cc/index.php?topic=142277.new#new

#java -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel processing.app.Base "$@"
java processing.app.Base "$@"

(Comment out the line and add second line ,save and restart Arduino

Now if I can just work out how to get it a bit bigger again

Also noticed in Puppy Linux and maybe others the font choice in preferences is wrong.
Look for the line that says Monospaced,normal,12 and change to Monospace,bold,20 for a bigger bolder show for tired eyes. Could probably use other fonts here too

This probably applies to Ubuntu also.