Saturday, January 26, 2008

Fix for jEdit Highlight plugin not cycling through colors after startup. It does not heed the "Cycle the color when creating highlights" setting until you go into the options and re-save them.

Add the following to jEdit's startup.bsh file:

gatchan.highlight.Highlight.setDefaultColor(null);

0 Comments:

Post a Comment

<< Home