Mon, 28 Apr 2014 14:41:49 +0200 | wenzelm | mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later; | file | diff | annotate |
Tue, 22 Apr 2014 23:49:15 +0200 | wenzelm | avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0; | file | diff | annotate |
Thu, 20 Feb 2014 14:36:17 +0100 | wenzelm | tuned imports; | file | diff | annotate |
Tue, 24 Sep 2013 20:41:28 +0200 | wenzelm | more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material); | file | diff | annotate |
Sun, 22 Sep 2013 14:30:34 +0200 | wenzelm | clarified location of GUI modules (which depend on Swing of JFX); | file | diff | annotate | base |