src/Tools/jEdit/patches/scriptstyles
Sat, 18 Jun 2011 18:31:55 +0200 wenzelm Buffer.editSyntaxStyle: mask extended syntax styles;
Wed, 15 Jun 2011 14:32:35 +0200 wenzelm more elaborate syntax styles;
Tue, 14 Jun 2011 17:24:23 +0200 wenzelm builtin sub/superscript styles for jedit-4.3.2;
less more (0) tip