Highlighter-plugin is always enabled at startup
Submitted by on Monday, 30 January, 2006 - 21:22
Hi all,
I want the highlighter-plugin to be disabled after jEdit's startup because it slow's down jEdit.
Unfortunately the plugin doesn't remembers it's On/Off-status. That's why I took the following macro in the startup directory to disable highlighter:
gatchan.highlight.HighlightPlugin.disableHighlights();
Log.log(Log.MESSAGE,scriptPath,"Startup_2.bsh: Highlighter disabled");
The macro seems to do it's work at startup (no error, a message in activity.log), but when jEdit is started completely, the highlighter is enabled!
What to do?
Robert
