Thu, 23 Jun 2011 14:52:32 +0200 |
wenzelm |
explicit import java.lang.System to prevent odd scope problems;
|
file |
diff |
annotate
|
Wed, 22 Jun 2011 21:27:20 +0200 |
wenzelm |
clarified plugin start/stop;
|
file |
diff |
annotate
|
Wed, 22 Jun 2011 20:25:35 +0200 |
wenzelm |
init/exit model/view synchronously within the swing thread -- EditBus.send in jedit-4.4.1 always runs there;
|
file |
diff |
annotate
|
Tue, 21 Jun 2011 01:08:15 +0200 |
wenzelm |
some support for user symbol fonts;
|
file |
diff |
annotate
|
Mon, 20 Jun 2011 22:43:56 +0200 |
wenzelm |
added SyntaxUtilities.StyleExtender hook, with actual functionality in Isabelle/Scala;
|
file |
diff |
annotate
|
Sun, 19 Jun 2011 21:34:55 +0200 |
wenzelm |
support for bold style within text buffer;
|
file |
diff |
annotate
|
Sat, 18 Jun 2011 23:34:34 +0200 |
wenzelm |
avoid setTokenMarker fluctuation on buffer reload etc. via static isabelle_token_marker, which is installed by hijacking the jEdit ModeProvider;
|
file |
diff |
annotate
|
Sat, 18 Jun 2011 21:20:22 +0200 |
wenzelm |
convenience functions;
|
file |
diff |
annotate
|
Sat, 18 Jun 2011 17:33:27 +0200 |
wenzelm |
basic support for extended syntax styles: sub/superscript;
|
file |
diff |
annotate
|
Tue, 14 Jun 2011 17:24:23 +0200 |
wenzelm |
builtin sub/superscript styles for jedit-4.3.2;
|
file |
diff |
annotate
|
Wed, 08 Jun 2011 17:42:07 +0200 |
wenzelm |
moved sources -- eliminated Netbeans artifact of jedit package directory;
|
file |
diff |
annotate
| base
|