How to change IDE font in Windows?

Using Arduino Installation & Troubleshooting
#1

Well, I think I know how to change the font -- I edit the preferences.txt file, specifically the editor.font item. However, when I set it to what I want (Consolas 10 pt), it looks much smaller than that font in other apps. I had to set editor.antialias to true for it to look semi-reasonable, but the size is just wrong.

Can anyone help?

BTW, I had to change the font as in the default one, the lower-case L and the numeral one look exactly the same. Who would pick such a font for a programming editor?!

#2

BTW, I had to change the font as in the default one, the lower-case L and the numeral one look exactly the same. Who would pick such a font for a programming editor?!

They do in the default size yes. I think this is one of the reasons people don't have variables with names like var1 and var2, normally going for var and then var2

I agree that the font setup is awful - I wanted to make my text slightly smaller but there was no chance as it looked so bad.

#3

I had a local that was a lower case L, but then I saw it passed in to a function and thought I had passed a one. But aside from the poor default choice, the mechanism provided to change it doesn't seem to work right, AFAICT.

#4

If anyone is still looking for a way to change the font/colors in the message area of the IDE - here's how - in Windows7, at least.

Edit the file Theme.txt found here:

C:\Users\YourName\Documents\Tech\Arduino\arduino-0022\lib\theme

I changed the colors and text size by making these changes:

Original:

GUI - CONSOLE

console.font = Monospaced,plain,11 console.font.macosx = Monaco,plain,10 console.color = #000000 console.output.color = #cccccc console.error.color = #ff3000

New:

GUI - CONSOLE

console.font = Monospaced,plain,18 console.font.macosx = Monaco,plain,10 console.color = #ffffff console.output.color = #cccccc console.error.color = #000000

Of course you should save the original file under a name like theme.original.

#5