how to change the code editor font ?

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

this is shotscreen
it was too small, i want to change the font size and font.
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.

There is already a ticket filed for this. It's unrelated to ENIGMA as Josh explained.

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.

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.