Sun, 25 Nov 2012 20:59:32 +0100 |
wenzelm |
renamed main plugin object to PIDE;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 18:47:33 +0100 |
wenzelm |
quasi-abstract module Rendering, with Isabelle-specific implementation;
|
file |
diff |
annotate
|
Sat, 24 Nov 2012 19:56:44 +0100 |
wenzelm |
retain hidden_color (i.e. transparent white) instead of replacing it by semantic text color, to make control symbols more hidden and avoid "dirty" lines with some fonts;
|
file |
diff |
annotate
|
Sat, 24 Nov 2012 19:01:08 +0100 |
wenzelm |
prefer buffer_edit combinator over Java-style boilerplate;
|
file |
diff |
annotate
|
Sat, 24 Nov 2012 16:40:42 +0100 |
wenzelm |
special handling of control symbols in Symbols dockable;
|
file |
diff |
annotate
|
Sat, 24 Nov 2012 14:50:19 +0100 |
wenzelm |
improved editing support for control styles;
|
file |
diff |
annotate
|
Wed, 22 Aug 2012 16:24:52 +0200 |
wenzelm |
clarified global get_recent_syntax: session always has its base_syntax, but it might be absent itself;
|
file |
diff |
annotate
|
Tue, 07 Aug 2012 20:28:35 +0200 |
wenzelm |
more token markers, based on actual outer syntax;
|
file |
diff |
annotate
|
Tue, 20 Mar 2012 21:34:42 +0100 |
wenzelm |
refined init_model: allow change of buffer name as caused by "Save as", for example;
|
file |
diff |
annotate
|
Thu, 15 Mar 2012 11:37:56 +0100 |
wenzelm |
maintain Version.syntax within document state;
|
file |
diff |
annotate
|
Sat, 14 Jan 2012 15:44:44 +0100 |
wenzelm |
paranoia null check -- prevent spurious crash of jedit token markup;
|
file |
diff |
annotate
|
Tue, 10 Jan 2012 23:26:27 +0100 |
wenzelm |
clarified Isabelle_Rendering vs. physical painting;
|
file |
diff |
annotate
|
Mon, 28 Nov 2011 20:39:08 +0100 |
wenzelm |
renamed Isabelle_Markup to Isabelle_Rendering to emphasize its meaning and make room for Pure Isabelle_Markup module;
|
file |
diff |
annotate
|
Sun, 04 Sep 2011 17:35:34 +0200 |
wenzelm |
improved handling of extended styles and hard tabs when prover is inactive;
|
file |
diff |
annotate
|
Sun, 04 Sep 2011 17:21:11 +0200 |
wenzelm |
mark hard tabs as single chunks, as required by jEdit;
|
file |
diff |
annotate
|
Sun, 21 Aug 2011 21:24:42 +0200 |
wenzelm |
more robust initialization of token marker and line context wrt. session startup;
|
file |
diff |
annotate
|
Sun, 21 Aug 2011 20:25:49 +0200 |
wenzelm |
avoid actual Color.white, which would be turned into Color.black by org.gjt.sp.jedit.print.BufferPrintable;
|
file |
diff |
annotate
|
Sun, 21 Aug 2011 20:04:02 +0200 |
wenzelm |
default style for user fonts -- to prevent org.gjt.sp.jedit.print.BufferPrintable from choking on null;
|
file |
diff |
annotate
|
Wed, 17 Aug 2011 16:01:27 +0200 |
wenzelm |
some convenience actions/shortcuts for control symbols;
|
file |
diff |
annotate
|
Thu, 07 Jul 2011 13:48:30 +0200 |
wenzelm |
simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style";
|
file |
diff |
annotate
|
Tue, 05 Jul 2011 23:18:14 +0200 |
wenzelm |
simplified Symbol.iterator: produce strings, which are mostly preallocated;
|
file |
diff |
annotate
|
Mon, 04 Jul 2011 22:11:32 +0200 |
wenzelm |
quasi-static Isabelle_System -- reduced tendency towards "functorial style";
|
file |
diff |
annotate
|
Sat, 25 Jun 2011 20:03:07 +0200 |
wenzelm |
proper tokens only if session is ready;
|
file |
diff |
annotate
|
Wed, 22 Jun 2011 20:38:03 +0200 |
wenzelm |
clarified decoded control symbols;
|
file |
diff |
annotate
|
Tue, 21 Jun 2011 21:34:36 +0200 |
wenzelm |
more precise font transformations: shift sub/superscript, adjust size for user fonts;
|
file |
diff |
annotate
|
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
|