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?!
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.
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.
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.