src/Tools/jEdit/src/token_markup.scala
Mon, 26 Nov 2012 10:37:05 +0100 wenzelm no special treatment of control_reset, in accordance to other control styles;
Sun, 25 Nov 2012 20:59:32 +0100 wenzelm renamed main plugin object to PIDE;
Sun, 25 Nov 2012 18:47:33 +0100 wenzelm quasi-abstract module Rendering, with Isabelle-specific implementation;
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;
Sat, 24 Nov 2012 19:01:08 +0100 wenzelm prefer buffer_edit combinator over Java-style boilerplate;
Sat, 24 Nov 2012 16:40:42 +0100 wenzelm special handling of control symbols in Symbols dockable;
Sat, 24 Nov 2012 14:50:19 +0100 wenzelm improved editing support for control styles;
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;
Tue, 07 Aug 2012 20:28:35 +0200 wenzelm more token markers, based on actual outer syntax;
Tue, 20 Mar 2012 21:34:42 +0100 wenzelm refined init_model: allow change of buffer name as caused by "Save as", for example;
Thu, 15 Mar 2012 11:37:56 +0100 wenzelm maintain Version.syntax within document state;
Sat, 14 Jan 2012 15:44:44 +0100 wenzelm paranoia null check -- prevent spurious crash of jedit token markup;
Tue, 10 Jan 2012 23:26:27 +0100 wenzelm clarified Isabelle_Rendering vs. physical painting;
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;
Sun, 04 Sep 2011 17:35:34 +0200 wenzelm improved handling of extended styles and hard tabs when prover is inactive;
Sun, 04 Sep 2011 17:21:11 +0200 wenzelm mark hard tabs as single chunks, as required by jEdit;
Sun, 21 Aug 2011 21:24:42 +0200 wenzelm more robust initialization of token marker and line context wrt. session startup;
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;
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;
Wed, 17 Aug 2011 16:01:27 +0200 wenzelm some convenience actions/shortcuts for control symbols;
Thu, 07 Jul 2011 13:48:30 +0200 wenzelm simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style";
Tue, 05 Jul 2011 23:18:14 +0200 wenzelm simplified Symbol.iterator: produce strings, which are mostly preallocated;
Mon, 04 Jul 2011 22:11:32 +0200 wenzelm quasi-static Isabelle_System -- reduced tendency towards "functorial style";
Sat, 25 Jun 2011 20:03:07 +0200 wenzelm proper tokens only if session is ready;
Wed, 22 Jun 2011 20:38:03 +0200 wenzelm clarified decoded control symbols;
Tue, 21 Jun 2011 21:34:36 +0200 wenzelm more precise font transformations: shift sub/superscript, adjust size for user fonts;
Tue, 21 Jun 2011 15:43:27 +0200 wenzelm hidden font: full height makes cursor more visible;
Tue, 21 Jun 2011 13:29:44 +0200 wenzelm tuned iteration over short symbols;
Tue, 21 Jun 2011 12:53:55 +0200 wenzelm Symbol.is_ctrl: handle decoded version as well;
Tue, 21 Jun 2011 01:08:15 +0200 wenzelm some support for user symbol fonts;
Mon, 20 Jun 2011 22:43:56 +0200 wenzelm added SyntaxUtilities.StyleExtender hook, with actual functionality in Isabelle/Scala;
Sun, 19 Jun 2011 21:53:04 +0200 wenzelm treat quotes as non-controllable, to reduce surprise in incremental editing;
Sun, 19 Jun 2011 21:34:55 +0200 wenzelm support for bold style within text buffer;
Sun, 19 Jun 2011 15:22:58 +0200 wenzelm discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);
Sun, 19 Jun 2011 14:11:06 +0200 wenzelm some unicode chars for special control symbols;
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;
Sat, 18 Jun 2011 17:33:27 +0200 wenzelm basic support for extended syntax styles: sub/superscript;
Sat, 18 Jun 2011 15:32:05 +0200 wenzelm tuned signature;
Sat, 18 Jun 2011 11:22:03 +0200 wenzelm simplified Line_Context (again);
Thu, 16 Jun 2011 23:16:06 +0200 wenzelm more precise imitatation of original TokenMarker: no locking, interned context etc.;
Thu, 16 Jun 2011 22:05:40 +0200 wenzelm static token markup, based on outer syntax only;
less more (0) tip