| Tue, 21 Jun 2011 15:43:27 +0200 |
wenzelm |
hidden font: full height makes cursor more visible;
|
file |
diff |
annotate
|
| Tue, 21 Jun 2011 13:29:44 +0200 |
wenzelm |
tuned iteration over short symbols;
|
file |
diff |
annotate
|
| Tue, 21 Jun 2011 12:53:55 +0200 |
wenzelm |
Symbol.is_ctrl: handle decoded version as well;
|
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:53:04 +0200 |
wenzelm |
treat quotes as non-controllable, to reduce surprise in incremental editing;
|
file |
diff |
annotate
|
| Sun, 19 Jun 2011 21:34:55 +0200 |
wenzelm |
support for bold style within text buffer;
|
file |
diff |
annotate
|
| Sun, 19 Jun 2011 15:22:58 +0200 |
wenzelm |
discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);
|
file |
diff |
annotate
|
| Sun, 19 Jun 2011 14:11:06 +0200 |
wenzelm |
some unicode chars for special control symbols;
|
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 17:33:27 +0200 |
wenzelm |
basic support for extended syntax styles: sub/superscript;
|
file |
diff |
annotate
|
| Sat, 18 Jun 2011 15:32:05 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 18 Jun 2011 11:22:03 +0200 |
wenzelm |
simplified Line_Context (again);
|
file |
diff |
annotate
|
| Thu, 16 Jun 2011 23:16:06 +0200 |
wenzelm |
more precise imitatation of original TokenMarker: no locking, interned context etc.;
|
file |
diff |
annotate
|
| Thu, 16 Jun 2011 22:05:40 +0200 |
wenzelm |
static token markup, based on outer syntax only;
|
file |
diff |
annotate
|