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.
|