Arduino IDE Default Font?

How can I change the default monospaced type font in the Arduino program (IDE), please? I'd like to use Consolas font for improved readability on my laptop screen.

Thank you in advance. Mike

Use File + Preferences to see where your preferences.txt file is. There are a number of strings in that file that have font in the name. Perhaps one of them will do what you want.

Hi Paul,

I've already tried variations of the "Editor.Font" setting in that file but "no joy" so far. Thanks for trying though.

Regards, Mike

Buried somewhere deep in the arduino directory (on a linux machine) is a file called 'theme.txt'.

The editor config settings have been moved to there.

I found that file but it's not clear how I might change the default Edit window font from Courier to something else.

I have given you duff information.

On a Linux machine (I don't know about Windows), there are two copies of the 'preferences.txt' file. One in the arduino/lib directory and another one in a hidden directory called 'arduino'. The second one has the settings for the editor font.
Out of curiosity I will find a Windows box now to see if it is the same.

have you ever figured out how to get the editor font to look nice?
i'm using v18 of the ide and running ubuntu linux 9.10

thanks
Jeff