src/Tools/jEdit/src/document_view.scala
2014-04-02 wenzelm 2014-04-02 tuned signature -- more explicit iterator terminology;
2014-04-01 wenzelm 2014-04-01 tuned for-comprehensions -- less structure mapping;
2014-03-29 wenzelm 2014-03-29 tuned signature;
2014-02-24 wenzelm 2014-02-24 tuned signature -- weaker type requirement;
2014-02-20 wenzelm 2014-02-20 tuned imports;
2014-02-11 wenzelm 2014-02-11 maintain multiple command chunks and markup trees: for main chunk and loaded files; document view for all text areas, including auxiliary files;
2013-11-20 wenzelm 2013-11-20 ranges of thy_load commands count as visible within perspective; convert ranges wrt. snapshot -- relevant for outdated situation;
2013-11-17 wenzelm 2013-11-17 centralized management of pending buffer edits;
2013-11-14 wenzelm 2013-11-14 tuned imports;
2013-10-11 wenzelm 2013-10-11 clarified Editor.current_command: allow outdated snapshot; more accurate Document_View.perspective based on current_command for proper state output (see also 88c6e630c15f and ef62204a126b);
2013-09-21 wenzelm 2013-09-21 caret range of active text area counts as visible (e.g. relevant for Output after scrolling outside of text view);
2013-08-29 wenzelm 2013-08-29 maintain Completion_Popup.Text_Area as client property like Document_View; global Completion_Popup.Text_Area init/exit like SideKickPlugin; eliminated old SideKick completion -- cover all Isabelle modes uniformly; dynamic lookup of Isabelle.mode_syntax -- NB: buffer mode might be undefined in intermediate stages;
2013-08-29 wenzelm 2013-08-29 more abstract Completion_Popup.Text_Area; more uniform font size;
2013-08-28 wenzelm 2013-08-28 tuned;
2013-08-28 wenzelm 2013-08-28 dismiss popups more uniformly;
2013-08-28 wenzelm 2013-08-28 tuned signature;
2013-08-27 wenzelm 2013-08-27 some actual completion via outer syntax; disable old SideKick completion for "isabelle" mode;
2013-08-27 wenzelm 2013-08-27 some key event handling in the manner of SideKickBindings, SideKickCompletionPopup;
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";