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;