src/Tools/jEdit/src/theories_dockable.scala
2017-01-09 wenzelm 2017-01-09 tuned signature;
2017-01-07 wenzelm 2017-01-07 separate Buffer_Model vs. File_Model; misc tuning and clarification;
2017-01-06 wenzelm 2017-01-06 manage buffer models as explicit global state; tuned signature;
2016-11-04 wenzelm 2016-11-04 back to stable scala-2.11.8;
2016-11-03 wenzelm 2016-11-03 updated to scala-2.12.0;
2016-04-14 wenzelm 2016-04-14 clarified modules;
2016-01-04 wenzelm 2016-01-04 node_status update is back on GUI thread (reverting 3ad2b2055ffc) -- avoid potential deadlock of GUI_Thread.now during shutdown, when GUI thread is already terminated;
2015-11-21 wenzelm 2015-11-21 tuned;
2015-10-05 wenzelm 2015-10-05 produce nodes_status outside GUI thread, to avoid a few milliseconds of blocking;
2015-08-11 wenzelm 2015-08-11 support hyperlinks with optional focus change; no change of focus for debuffer position, to avoid visual glitches and keep panel active;
2014-07-23 wenzelm 2014-07-23 clarified display;
2014-07-23 wenzelm 2014-07-23 clarified display;
2014-07-23 wenzelm 2014-07-23 more explicit discrimination of empty nodes -- suppress from Theories panel;
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
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-16 wenzelm 2014-04-16 tuned signature -- separate module Word;
2014-04-07 wenzelm 2014-04-07 tuned signature -- prefer static type Document.Node.Name;
2014-04-04 wenzelm 2014-04-04 tuned rendering -- take 1px line border into account;
2014-04-03 wenzelm 2014-04-03 tuned rendering for 5 different look-and-feels;
2014-04-02 wenzelm 2014-04-02 more explicit iterator terminology, in accordance to Scala 2.8 library; clarified Graph.keys_iterator vs. Graph.keys, with subtle change of semantics; tuned output;
2014-04-02 wenzelm 2014-04-02 tuned rendering;
2014-04-02 wenzelm 2014-04-02 tuned rendering -- visual indication of the status range, to make more clear when information might is out of view;
2014-03-18 wenzelm 2014-03-18 clarifed module name;
2014-03-03 wenzelm 2014-03-03 tuned signature;
2014-02-20 wenzelm 2014-02-20 tuned imports;
2013-12-05 wenzelm 2013-12-05 merged, resolving obvious conflicts in NEWS and src/Pure/System/isabelle_process.ML;
2013-11-30 wenzelm 2013-11-30 non-focusable button, to avoid second interpretation of SPACE in C+e SPACE (isabelle.set-node-required);
2013-11-20 wenzelm 2013-11-20 restrict node_required status and Theories panel to actual theories;
2013-09-18 wenzelm 2013-09-18 added option "jedit_auto_load"; allow in-place change of option "editor_continuous_checking";
2013-09-18 wenzelm 2013-09-18 improved FlowLayout for wrapping of components over multiple lines;
2013-08-24 wenzelm 2013-08-24 more precise painting;
2013-08-24 wenzelm 2013-08-24 more uniform treatment of Swing_Thread context switch: prefer asynchronous Swing_Thread.later from actor;
2013-08-24 wenzelm 2013-08-24 clarified border (again, see also 7ce3ebc268a1);
2013-08-12 wenzelm 2013-08-12 manage hyperlinks via PIDE editor interface;
2013-08-12 wenzelm 2013-08-12 tuned signature;
2013-08-05 wenzelm 2013-08-05 initial update of nodes_required, for proper GUI state;
2013-07-31 wenzelm 2013-07-31 proper border (again) -- avoid NPE on Windows; uniform non-opaqueness -- relevant for Windows L&F;
2013-07-31 wenzelm 2013-07-31 added home-made tooltips; tuned signature;
2013-07-31 wenzelm 2013-07-31 home-grown mouse handling to pretend that the painted checkbox is actually a Swing component; tuned signature;
2013-07-31 wenzelm 2013-07-31 actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable); just one module for Isabelle/jEdit actions;
2013-07-31 wenzelm 2013-07-31 paint unassigned/unchanged nodes as unprocessed -- relevant for editor_continuous_checking = false;
2013-07-31 wenzelm 2013-07-31 simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
2013-07-30 wenzelm 2013-07-30 more uniform border;
2013-07-29 wenzelm 2013-07-29 NEWS; tuned description;
2013-07-29 wenzelm 2013-07-29 tuned;
2013-07-29 wenzelm 2013-07-29 always init GUI state;
2013-07-29 wenzelm 2013-07-29 support declarative editor_execution_range, instead of old-style check/cancel buttons;
2013-03-26 wenzelm 2013-03-26 tuned;
2013-03-26 wenzelm 2013-03-26 mixed theory/command entries; tuned;
2013-01-15 wenzelm 2013-01-15 separate color ranges by 1px to improve discernment of overall theory status;
2013-01-14 wenzelm 2013-01-14 more prominent status ticks; is_running takes priority -- important to spot unstable parts that are re-run after edits;
2012-11-30 wenzelm 2012-11-30 tuned labels;
2012-11-30 wenzelm 2012-11-30 renamed dockable "Prover Session" to "Theories"; more uniform Library.lowercase/uppercase;