how to change the code editor font ?

Reporter: dazzulay  |  Status: closed  |  Last Modified: April 16, 2017, 02:06:39 AM

this is shotscreen http://i.imgur.com/tXh0y5G.png
it was too small, i want to change the font size and font.
JoshDreamland  
It would be better to file this bug against LateralGM. I recall that we had an options panel for this, but that it didn't make it to an actual release. There may be a key in a config file somewhere in the LGM jar that would allow you to change this. I don't really remember; it's possible that Robert might know.
RobertBColton  

There is already a ticket filed for this. It's unrelated to ENIGMA as Josh explained.
JoshDreamland/JoshEdit#52
JoshDreamland  

Why is the ticket filed against JoshEdit? JoshEdit has had a panel for that for like a bajillion years. You just need a button to open it in LGM and dump the settings to your own properties file.
RobertBColton  

There are various UI bugs you can read about in the ticket.
Please sign in to post comments, or you can view this issue on GitHub.