src/Pure/GUI/system_dialog.scala
Sun, 22 Sep 2013 14:30:34 +0200 wenzelm clarified location of GUI modules (which depend on Swing of JFX);
less more (0) tip