# HG changeset patch
# User wenzelm
# Date 1421534001 -3600
# Node ID d15a96149703f0e71d814042f034bccaa63e6b22
# Parent  32b162d1d9b517f0c83d5aa6feab11cfb7ad7a4f
tuned window size for the sake of Windows L&F;

diff -r 32b162d1d9b5 -r d15a96149703 src/Pure/GUI/system_dialog.scala
--- a/src/Pure/GUI/system_dialog.scala	Sat Jan 17 23:12:02 2015 +0100
+++ b/src/Pure/GUI/system_dialog.scala	Sat Jan 17 23:33:21 2015 +0100
@@ -79,8 +79,8 @@
 
     val text = new TextArea {
       editable = false
-      columns = 50
-      rows = 20
+      columns = 65
+      rows = 24
     }
 
     val scroll_text = new ScrollPane(text)