2011-09-07 wenzelm 2011-09-07 added "check" button: adhoc change to full buffer perspective;
2011-09-01 wenzelm 2011-09-01 more abstract Document.Node.Name; tuned signature;
2011-08-31 wenzelm 2011-08-31 tuned Commands_Changed: cover nodes as well;
2011-08-30 wenzelm 2011-08-30 restrict perspective to actual buffer_range, to avoid spurious edits due to faulty last_exec_offset (NB: jEdit screenlines may be silently extended by trailing newline);
2011-08-25 wenzelm 2011-08-25 slightly more abstract Text.Perspective;
2011-08-24 wenzelm 2011-08-24 more reliable update_perspective handler based on actual text visibility (e.g. on startup or when resizing without scrolling);
2011-08-24 wenzelm 2011-08-24 update_perspective without actual edits, bypassing the full state assignment protocol; edit_nodes/Perspective: do not touch_descendants here; propagate editor scroll events via update_perspective; misc tuning;
2011-08-22 wenzelm 2011-08-22 added official Text.Range.Ordering; some support for text perspective;
2011-08-22 wenzelm 2011-08-22 tuned signature;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-07-04 wenzelm 2011-07-04 imitate exception ERROR of Isabelle/ML;
2011-06-23 wenzelm 2011-06-23 explicit import java.lang.System to prevent odd scope problems;
2011-06-22 wenzelm 2011-06-22 init/exit model/view synchronously within the swing thread -- EditBus.send in jedit-4.4.1 always runs there;
2011-06-18 wenzelm 2011-06-18 more robust caret painting wrt. surrogate characters; discontinued glyphvector drawing -- less special cases;
2011-06-17 wenzelm 2011-06-17 flush snapshot on falling edge of is_outdated -- recover effect of former buffer.propertiesChanged on text area (cf. f0770743b7ec);
2011-06-16 wenzelm 2011-06-16 more precise imitation of original TextAreaPainter: no locking;
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.);
2011-06-15 wenzelm 2011-06-15 uniform use of Document_View.robust_body;
2011-06-15 wenzelm 2011-06-15 more robust init;
2011-06-15 wenzelm 2011-06-15 more precise caret painting, working around existing painter (which is reinstalled by jEdit occasionally);
2011-06-15 wenzelm 2011-06-15 paint caret according to precise font metrics;
2011-06-14 wenzelm 2011-06-14 builtin sub/superscript styles for jedit-4.3.2;
2011-06-14 wenzelm 2011-06-14 recovered tooltip Entity content (odd effect of layer change!? cf. 806878ae2219);
2011-06-14 wenzelm 2011-06-14 separate module for text area painting;
2011-06-13 wenzelm 2011-06-13 some direct text foreground painting, instead of token marking; common snapshot for all text area painters (NOT gutter etc.) tuned;
2011-06-12 wenzelm 2011-06-12 separate isabelle.jedit.Text_Painter, which actually replaces the original TextAreaPainter$PaintText instance;
2011-06-08 wenzelm 2011-06-08 moved sources -- eliminated Netbeans artifact of jedit package directory;