src/Pure/GUI/swing_thread.scala
2014-04-28 wenzelm 2014-04-28 removed dead code; tuned comments;
2014-04-28 wenzelm 2014-04-28 mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later;
2014-04-22 wenzelm 2014-04-22 avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2014-02-20 wenzelm 2014-02-20 tuned imports;
2013-09-24 wenzelm 2013-09-24 more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material);
2013-09-22 wenzelm 2013-09-22 clarified location of GUI modules (which depend on Swing of JFX);