src/Pure/GUI/system_dialog.scala
Tue, 29 Sep 2015 18:39:55 +0200 wenzelm tuned;
Tue, 29 Sep 2015 16:58:33 +0200 wenzelm tuned GUI;
Tue, 29 Sep 2015 16:45:54 +0200 wenzelm proper event;
Tue, 29 Sep 2015 16:28:02 +0200 wenzelm tuned GUI;
Tue, 29 Sep 2015 13:54:04 +0200 wenzelm clarified modules;
Fri, 21 Aug 2015 18:46:12 +0200 wenzelm more scalable GUI;
Sat, 17 Jan 2015 23:33:21 +0100 wenzelm tuned window size for the sake of Windows L&F;
Tue, 30 Dec 2014 11:50:34 +0100 wenzelm added system property isabelle.laf, notably for initial system dialog;
Wed, 23 Jul 2014 11:19:24 +0200 wenzelm clarified module name: facilitate alternative GUI frameworks;
Tue, 22 Apr 2014 23:49:15 +0200 wenzelm avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
Mon, 09 Dec 2013 22:02:42 +0100 wenzelm alternative hires icon;
Sat, 09 Nov 2013 11:41:32 +0100 wenzelm adjust modules for Admin/build jars_test;
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);
Sun, 22 Sep 2013 14:30:34 +0200 wenzelm clarified location of GUI modules (which depend on Swing of JFX);
less more (0) tip