Global defaults not applied at start-up
Submitted by Saturday, 24 September, 2011 - 05:33
on
( I've just started using jEdit, so probably done something dumb ... )
When I first start up jEdit, it doesn't apply the settings I changed under Global Options. After starting jEdit, I have to go to the Global Options dialog (where I can see that all my changed settings have been loaded), click Apply, then click OK, after which all the fonts, key assignments and so forth are applied. How can I make it do that automatically?
I'm running the Debian Linux jedit package, version 4.3.2.
When I first start up jEdit, it doesn't apply the settings I changed under Global Options. After starting jEdit, I have to go to the Global Options dialog (where I can see that all my changed settings have been loaded), click Apply, then click OK, after which all the fonts, key assignments and so forth are applied. How can I make it do that automatically?
I'm running the Debian Linux jedit package, version 4.3.2.