src/Tools/jEdit/src/document_view.scala
2013-08-27 wenzelm 2013-08-27 more standard key handling according to jEdit (with workaround); clarified handling of ESCAPE (again): dismiss without second interpretation as select-none;
2013-08-27 wenzelm 2013-08-27 more systematic JEdit_Lib.key_listener with optional KeyEventWorkaround;
2013-08-24 wenzelm 2013-08-24 tuned signature;
2013-08-12 wenzelm 2013-08-12 tuned signature;
2013-07-29 wenzelm 2013-07-29 back to model.update_perspective with delay (cf. a20631db9c8a);
2013-07-29 wenzelm 2013-07-29 support declarative editor_execution_range, instead of old-style check/cancel buttons;
2013-07-07 wenzelm 2013-07-07 some attempts to avoid sandwiching of actions stemming from single ESCAPE key event, to avoid potential conflict with ongoing text selection;
2013-06-29 wenzelm 2013-06-29 more aggresive ESCAPE handling, while retaining its regular meaning for jEdit;
2013-01-16 wenzelm 2013-01-16 close tooltip after Active.action, to make it look more interactive (notably due to lack of dynamic update);
2013-01-08 wenzelm 2013-01-08 more direct invalidateScreenLineRange after changed assignment;
2012-12-05 wenzelm 2012-12-05 tuned signature in accordance to document operations;
2012-12-01 wenzelm 2012-12-01 updated to jedit-5.0.0;
2012-11-25 wenzelm 2012-11-25 tuned signature;
2012-11-25 wenzelm 2012-11-25 renamed main plugin object to PIDE;
2012-11-25 wenzelm 2012-11-25 quasi-abstract module Rendering, with Isabelle-specific implementation;
2012-10-12 wenzelm 2012-10-12 further refinement of jEdit line range, avoiding lack of final \n;
2012-09-21 wenzelm 2012-09-21 some support for hovering and sendback area;
2012-09-19 wenzelm 2012-09-19 more robust GUI component handlers;
2012-09-17 wenzelm 2012-09-17 renamed Text_Area_Painter to Rich_Text_Area;
2012-09-17 wenzelm 2012-09-17 tuned signature -- more general Text_Area_Painter operations;
2012-09-17 wenzelm 2012-09-17 tuned signature;
2012-09-17 wenzelm 2012-09-17 tuned signature;
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;