src/Tools/jEdit/src/document_view.scala
2011-08-24 ago update_perspective without actual edits, bypassing the full state assignment protocol;
2011-08-22 ago added official Text.Range.Ordering;
2011-08-22 ago tuned signature;
2011-07-04 ago quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-07-04 ago imitate exception ERROR of Isabelle/ML;
2011-06-23 ago explicit import java.lang.System to prevent odd scope problems;
2011-06-22 ago init/exit model/view synchronously within the swing thread -- EditBus.send in jedit-4.4.1 always runs there;
2011-06-18 ago more robust caret painting wrt. surrogate characters;
2011-06-17 ago flush snapshot on falling edge of is_outdated -- recover effect of former buffer.propertiesChanged on text area (cf. f0770743b7ec);
2011-06-16 ago more precise imitation of original TextAreaPainter: no locking;
2011-06-16 ago static token markup, based on outer syntax only;
2011-06-15 ago uniform use of Document_View.robust_body;
2011-06-15 ago more robust init;
2011-06-15 ago more precise caret painting, working around existing painter (which is reinstalled by jEdit occasionally);
2011-06-15 ago paint caret according to precise font metrics;
2011-06-14 ago builtin sub/superscript styles for jedit-4.3.2;
2011-06-14 ago recovered tooltip Entity content (odd effect of layer change!? cf. 806878ae2219);
2011-06-14 ago separate module for text area painting;
2011-06-13 ago some direct text foreground painting, instead of token marking;
2011-06-12 ago separate isabelle.jedit.Text_Painter, which actually replaces the original TextAreaPainter$PaintText instance;
2011-06-08 ago moved sources -- eliminated Netbeans artifact of jedit package directory;