src/Tools/jEdit/src/timing_dockable.scala
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;