Sat, 18 Jun 2011 18:31:55 +0200 | wenzelm | Buffer.editSyntaxStyle: mask extended syntax styles; | file | diff | annotate |
Wed, 15 Jun 2011 14:32:35 +0200 | wenzelm | more elaborate syntax styles; | file | diff | annotate |
Tue, 14 Jun 2011 17:24:23 +0200 | wenzelm | builtin sub/superscript styles for jedit-4.3.2; | file | diff | annotate |