src/Pure/GUI/gui.scala
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);
Tue, 24 Sep 2013 19:53:05 +0200 wenzelm simplified default L&F -- Nimbus should be always available and GTK+ is not fully working yet;
Tue, 24 Sep 2013 19:46:11 +0200 wenzelm proper platform-specific test;
Tue, 24 Sep 2013 19:41:14 +0200 wenzelm disable standard behaviour of Mac OS X text field (i.e. select-all after focus gain) in order to make completion work more smoothly;
Sun, 22 Sep 2013 18:42:18 +0200 wenzelm tuned;
Sun, 22 Sep 2013 18:36:22 +0200 wenzelm tuned signature;
Sun, 22 Sep 2013 14:30:34 +0200 wenzelm clarified location of GUI modules (which depend on Swing of JFX);
less more (0) tip