src/Tools/jEdit/src/timing_dockable.scala
Mon, 09 Jan 2017 20:26:59 +0100 wenzelm tuned signature;
Fri, 23 Dec 2016 16:20:42 +0100 wenzelm tuned;
Fri, 04 Nov 2016 13:27:31 +0100 wenzelm back to stable scala-2.11.8;
Thu, 03 Nov 2016 17:51:10 +0100 wenzelm updated to scala-2.12.0;
Mon, 05 Sep 2016 22:09:52 +0200 wenzelm clarified modules;
Tue, 11 Aug 2015 17:00:16 +0200 wenzelm support hyperlinks with optional focus change;
Tue, 17 Mar 2015 15:21:41 +0100 wenzelm misc tuning and simplification;
Thu, 08 Jan 2015 20:56:39 +0100 wenzelm tuned;
Wed, 23 Jul 2014 11:19:24 +0200 wenzelm clarified module name: facilitate alternative GUI frameworks;
Fri, 25 Apr 2014 12:51:08 +0200 wenzelm clarified Session.Consumer, with Session.Outlet managed by dispatcher thread;
Tue, 22 Apr 2014 23:49:15 +0200 wenzelm avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
Wed, 02 Apr 2014 20:22:12 +0200 wenzelm more explicit iterator terminology, in accordance to Scala 2.8 library;
Tue, 18 Mar 2014 17:39:03 +0100 wenzelm clarifed module name;
Mon, 03 Mar 2014 10:59:33 +0100 wenzelm tuned signature;
Thu, 20 Feb 2014 14:36:17 +0100 wenzelm tuned imports;
Wed, 18 Sep 2013 15:09:15 +0200 wenzelm improved FlowLayout for wrapping of components over multiple lines;
Sat, 24 Aug 2013 13:32:51 +0200 wenzelm more uniform treatment of Swing_Thread context switch: prefer asynchronous Swing_Thread.later from actor;
Mon, 12 Aug 2013 17:11:27 +0200 wenzelm manage hyperlinks via PIDE editor interface;
Mon, 12 Aug 2013 11:56:12 +0200 wenzelm tuned signature;
Wed, 07 Aug 2013 11:50:14 +0200 wenzelm tuned;
Wed, 27 Mar 2013 11:54:53 +0100 wenzelm tuned GUI;
Tue, 26 Mar 2013 14:38:44 +0100 wenzelm proper input event handling;
Tue, 26 Mar 2013 14:05:08 +0100 wenzelm more specific Entry painting;
Tue, 26 Mar 2013 12:40:51 +0100 wenzelm mixed theory/command entries;
Tue, 26 Mar 2013 11:26:13 +0100 wenzelm dockable window for timing information;
less more (0) tip