Jump to content
43oh

Changing the IDE Editor Font?


Recommended Posts

I wonder if I could take the opportunity to ask a question about the IDE, please?

 

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

Link to post
Share on other sites

That file looks very similar to the one in the Arduino IDE, and just like the Arduino IDE, attempts to change the Editor font don't work. At least not for me. It almost seems as though fonts are included in the IDE java files.

 

Anyway, it's a shame because the font makes a huge difference on my laptop;

post-1059-135135552487_thumb.jpg

Link to post
Share on other sites

Energia is based on Arduino. A quick look at the font handling in the IDE (Written in Java) and it looked like it should work. As the sources suggested, changing the font in the preferences file worked for me. This is the line in my preferences file:

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.

post-28238-135135552494_thumb.png

Link to post
Share on other sites

Ok, I think it's working. Setting editor.antialias=true makes a perceivable difference though the font still doesn't look as good as it does in my other IDEs for some reason.

 

Thank you for helping, Gentlemen.

 

Cheerful regards, Mike

Link to post
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.

Guest
Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

×
×
  • Create New...