src/Tools/jEdit/src/document_view.scala
2012-09-17 wenzelm 2012-09-17 somewhat more general JEdit_Lib; tuned signatures;
2012-09-14 wenzelm 2012-09-14 no longer react on global_settings (cf. 34ac36642a31);
2012-09-14 wenzelm 2012-09-14 refined output panel: more value-oriented approach to update and caret focus;
2012-09-14 wenzelm 2012-09-14 clarified markup names;
2012-09-14 wenzelm 2012-09-14 more general Document_Model.point_range; more general Document_View.Active_Area; eliminated dead popup material;
2012-09-14 wenzelm 2012-09-14 more static handling of rendering options;
2012-09-11 wenzelm 2012-09-11 more options;
2012-09-07 wenzelm 2012-09-07 postpone update of text overview panel after incoming session edits, to improve reactivity of editing massive theories like src/HOL/Multivariate_Analysis;
2012-09-07 wenzelm 2012-09-07 more explicit Delay operations;
2012-08-24 wenzelm 2012-08-24 support for direct hyperlinks, without the Hyperlinks plugin;
2012-05-24 wenzelm 2012-05-24 less warning in scala-2.10.0-M3;
2012-04-07 wenzelm 2012-04-07 tuned imports;
2012-03-19 wenzelm 2012-03-19 explicit propagation of assignment event, even if changed command set is empty; discontinued slightly odd Document_View.update_snapshot/flush_snapshot;
2012-03-19 wenzelm 2012-03-19 further amendment of "updated" edge (cf. 6ed49c52d463) -- required for repainting of unassigned command, e.g. for inactive buffe;
2012-03-17 wenzelm 2012-03-17 misc tuning to accomodate scala-2.10.0-M2;
2012-03-14 wenzelm 2012-03-14 more explicit indication of swing thread context;
2012-03-14 wenzelm 2012-03-14 prefer asynchronous context switch from actor to swing thread, to reduce danger of deadlocks; more robust use of Session.Commands_Changed vs. Document_View.visible_range as asynchronous swing task, taking into account that the model might have switched in the meantime (e.g. via fast clicking on hypersearch while the prover is crunching);
2012-03-04 wenzelm 2012-03-04 tuned comment;
2012-03-04 wenzelm 2012-03-04 removed obsolete proper_command_at (cf. 03a2dc9e0624);
2012-03-04 wenzelm 2012-03-04 clarified special eol treatment and moved to gfx_range -- enables error messages at end of input, e.g. "prop PROP";
2012-03-01 wenzelm 2012-03-01 explicitly revoke delay, to avoid spurious timer events after deactivation of related components;
2012-02-21 wenzelm 2012-02-21 more robust visible_range: allow empty view;
2012-02-21 wenzelm 2012-02-21 separate module for text status overview;
2012-02-21 wenzelm 2012-02-21 overview.delay_repaint: avoid wasting GUI cycles via update_delay; prefer delay_first for prover initiated events -- avoid indefinite delay;
2012-02-20 wenzelm 2012-02-20 observe HEIGHT of overview ticks; misc tuning and clarification;
2012-02-20 wenzelm 2012-02-20 more careful painting of overview component: more precise and more efficient;
2012-01-15 wenzelm 2012-01-15 back to more basic caret_range (reverting 0ad063afa3d6) -- BreakIterator crashes due to non-zero text.offset when deleting the first character of the buffer;
2012-01-15 wenzelm 2012-01-15 more precise rendering of overview_color/gutter_message/squiggly_underline based on cumulation of command status and warning/error messages;
2012-01-14 wenzelm 2012-01-14 ignore empty gfx_range; tuned;
2012-01-10 wenzelm 2012-01-10 clarified Isabelle_Rendering vs. physical painting; discontinued slightly odd object-oriented Markup_Tree.Cumulate/Select;
2011-12-03 wenzelm 2011-12-03 caret_range based on BreakIterator, which handles combined unicode characters as well;
2011-11-28 wenzelm 2011-11-28 renamed Isabelle_Markup to Isabelle_Rendering to emphasize its meaning and make room for Pure Isabelle_Markup module;
2011-11-12 wenzelm 2011-11-12 tuned signature;
2011-11-11 wenzelm 2011-11-11 more tooltip content;
2011-09-07 wenzelm 2011-09-07 clarified terminology;
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;