src/Tools/jEdit/src/timing_dockable.scala
2017-01-09 wenzelm 2017-01-09 tuned signature;
2016-12-23 wenzelm 2016-12-23 tuned;
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-09-05 wenzelm 2016-09-05 clarified modules;
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;
2015-03-17 wenzelm 2015-03-17 misc tuning and simplification;
2015-01-08 wenzelm 2015-01-08 tuned;
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-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-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-09-18 wenzelm 2013-09-18 improved FlowLayout for wrapping of components over multiple lines;
2013-08-24 wenzelm 2013-08-24 more uniform treatment of Swing_Thread context switch: prefer asynchronous Swing_Thread.later from actor;
2013-08-12 wenzelm 2013-08-12 manage hyperlinks via PIDE editor interface;
2013-08-12 wenzelm 2013-08-12 tuned signature;
2013-08-07 wenzelm 2013-08-07 tuned;
2013-03-27 wenzelm 2013-03-27 tuned GUI;
2013-03-26 wenzelm 2013-03-26 proper input event handling;
2013-03-26 wenzelm 2013-03-26 more specific Entry painting; ignore theories with all commands below threshold;
2013-03-26 wenzelm 2013-03-26 mixed theory/command entries; tuned;
2013-03-26 wenzelm 2013-03-26 dockable window for timing information;