ENIGMA Forums

Contributing to ENIGMA => Proposals => Topic started by: x on August 17, 2013, 04:11:04 am

Title: Changing fonts in LateralGM
Post by: x on August 17, 2013, 04:11:04 am
Hi,
When I'm editing code, I find the default font a little frustrating. Is there an easy way to use a font installed on my system instead?

Edit: I'm using the latest download for ENIGMA on Windows 8 32 bit.
Title: Re: Changing fonts in LateralGM
Post by: Josh @ Dreamland on August 17, 2013, 01:30:37 pm
LGM has a serious issue with the concept of a "preferences panel." It's been lacking one for a few hundred years, which is impressive considering Java Swing isn't quite that old (despite its appearance and performance).

If I had to guess, I'd say we'll have a preferences panel in the next few weeks containing font and highlighting color options. Note that only fixed-width fonts are supported; I got tired of Java's font issues and grid-aligned all glyphs in the new editor pane. If you're interested in variable-width fonts, I'll file a ticket on the matter and deal with it later on; my experience, though, is that most people ultimately prefer fixed-width for coding.
Title: Re: Changing fonts in LateralGM
Post by: x on August 18, 2013, 12:32:31 am
Sounds good!
I would love to use Consolas or whatever font GM8 uses (I think it was Courier?).
Title: Re: Changing fonts in LateralGM
Post by: Goombert on August 19, 2013, 02:16:54 pm
@X sure your like the 5th person to request that, I will get to it I am busy with GMX stuff.
Title: Re: Changing fonts in LateralGM
Post by: Aegar on September 24, 2014, 05:38:19 pm
Has this been implemented yet? I just installed the latest version of ENIGMA which comes with LateralGM 1.8.6 and the Code Editor section of the Preferences panel is blank.
Title: Re: Changing fonts in LateralGM
Post by: Darkstar2 on September 24, 2014, 06:14:49 pm
I would like to add my support, this would be really nice to have (fonts, highlighting options, etc.).
Title: Re: Changing fonts in LateralGM
Post by: Goombert on September 25, 2014, 12:05:37 am
No this is not currently implemented, and I did not forget about it either. The issue is that the settings should be added to JoshEdit and then docked into the preferences window but this is also tricky because I don't know exactly how far I want to take it, such as setting styles for each language as JoshEdit doesn't even have a formal language register and I don't want to hardcode anything. Maybe I can add a few simple temporary options to the panel though but this has to go on the backburner until I do the search feature because we seriously need searching in resources, it makes porting games a lot easier for one so that I can find all locations of variable_local_get/set.

I've also actually been wanting to remove JoshEdit from LGM's source code and replace it with a plugin and then also write a Scintilla plugin as a replacement, because I personally don't like JoshEdit. In fact this is probably the way to go and just make JoshEdit's plugin add its settings to the preferences window and then the same for the Scintilla plugin.