src/Tools/jEdit/src/token_markup.scala
2011-08-21 wenzelm 2011-08-21 more robust initialization of token marker and line context wrt. session startup;
2011-08-21 wenzelm 2011-08-21 avoid actual Color.white, which would be turned into Color.black by org.gjt.sp.jedit.print.BufferPrintable;
2011-08-21 wenzelm 2011-08-21 default style for user fonts -- to prevent org.gjt.sp.jedit.print.BufferPrintable from choking on null;
2011-08-17 wenzelm 2011-08-17 some convenience actions/shortcuts for control symbols;
2011-07-07 wenzelm 2011-07-07 simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style"; tuned implicit build/init messages;
2011-07-05 wenzelm 2011-07-05 simplified Symbol.iterator: produce strings, which are mostly preallocated; eliminated Symbol.CharSequence complications;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-06-25 wenzelm 2011-06-25 proper tokens only if session is ready;
2011-06-22 wenzelm 2011-06-22 clarified decoded control symbols;
2011-06-21 wenzelm 2011-06-21 more precise font transformations: shift sub/superscript, adjust size for user fonts; tuned;
2011-06-21 wenzelm 2011-06-21 hidden font: full height makes cursor more visible;
2011-06-21 wenzelm 2011-06-21 tuned iteration over short symbols;
2011-06-21 wenzelm 2011-06-21 Symbol.is_ctrl: handle decoded version as well; clarified user font font index handling;
2011-06-21 wenzelm 2011-06-21 some support for user symbol fonts;
2011-06-20 wenzelm 2011-06-20 added SyntaxUtilities.StyleExtender hook, with actual functionality in Isabelle/Scala;
2011-06-19 wenzelm 2011-06-19 treat quotes as non-controllable, to reduce surprise in incremental editing;
2011-06-19 wenzelm 2011-06-19 support for bold style within text buffer; hidden: white foreground;
2011-06-19 wenzelm 2011-06-19 discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax);
2011-06-19 wenzelm 2011-06-19 some unicode chars for special control symbols;
2011-06-18 wenzelm 2011-06-18 avoid setTokenMarker fluctuation on buffer reload etc. via static isabelle_token_marker, which is installed by hijacking the jEdit ModeProvider;
2011-06-18 wenzelm 2011-06-18 basic support for extended syntax styles: sub/superscript;
2011-06-18 wenzelm 2011-06-18 tuned signature;
2011-06-18 wenzelm 2011-06-18 simplified Line_Context (again);
2011-06-16 wenzelm 2011-06-16 more precise imitatation of original TokenMarker: no locking, interned context etc.;
2011-06-16 wenzelm 2011-06-16 static token markup, based on outer syntax only; eliminated obsolete buffer.propertiesChanged (expensive due to remarking of full buffer etc.);