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;
less more (0) -10 -7 tip