Changing the IDE Editor Font?
Posted 16 June 2012 - 03:25 PM
Is this a modified version of the same IDE used by Arduino? If so, is there a way to select a different default editor font? I asked this a couple years ago on the Arduino Forums and never got an answer. I assume no one with knowledge about the IDE got around to reading it. I'm hoping that someone in this relatively new and small Energia group with intimate knowledge about the (Java based?) IDE might actually see my question and respond. Basically, I'd like to be able to use the fixed pitch Consolas font in the IDE Editor.
TIA. Cheerful regards, Mike
Posted 16 June 2012 - 04:01 PM
Posted 16 June 2012 - 07:28 PM
Anyway, it's a shame because the font makes a huge difference on my laptop;
Posted 16 June 2012 - 08:43 PM
editor.font=Consolas,bold,14. You should be able to change this to any font available on your system. I ran my test with Energia 0101E0006 on Max OS X.
- Rickta59 likes this
Posted 16 June 2012 - 09:46 PM
Posted 16 June 2012 - 11:04 PM
Thank you for helping, Gentlemen.
Cheerful regards, Mike
0 user(s) are reading this topic
0 members, 0 guests, 0 anonymous users