src/Tools/jEdit/src/document_view.scala
2016-04-14 wenzelm 2016-04-14 background color for entity def/ref focus;
2016-04-14 wenzelm 2016-04-14 tuned;
2016-01-07 wenzelm 2016-01-07 more thorough GUI update;
2015-11-21 wenzelm 2015-11-21 render snapshot.is_outdated in text overview, where other status information is shown already;
2015-09-19 wenzelm 2015-09-19 fast synchronous painting and asynchronous refresh of text overview, reduces GUI thread latency from 100ms to 1ms for big files like src/HOL/Multivariate_Analsyis/Integration.thy;
2014-12-10 wenzelm 2014-12-10 more informative gutter content: fall-back on background color, e.g. when line numbers are enabled; non-transparent information_message_color like other message colors; removed unused error1_color;
2014-10-21 wenzelm 2014-10-21 support for structure matching; misc tuning;
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-05-06 wenzelm 2014-05-06 common support for search field, which is actually a light-weight Highlighter;
2014-04-28 wenzelm 2014-04-28 mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later;
2014-04-25 wenzelm 2014-04-25 clarified Session.Consumer, with Session.Outlet managed by dispatcher thread; eliminated old actors;
2014-04-22 wenzelm 2014-04-22 avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2014-04-09 wenzelm 2014-04-09 more explicit message discrimination;
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;