tuned default layout;

--- a/src/Pure/Tools/main.scala	Thu Jan 31 16:33:57 2019 +0100
+++ b/src/Pure/Tools/main.scala	Thu Jan 31 16:44:04 2019 +0100
@@ -59,7 +59,7 @@
 <!DOCTYPE PERSPECTIVE SYSTEM "perspective.dtd">
 <PERSPECTIVE>
 <VIEW PLAIN="FALSE">
-<GEOMETRY X="0" Y="35" WIDTH="1072" HEIGHT="787" EXT_STATE="0" />
+<GEOMETRY X="0" Y="35" WIDTH="1200" HEIGHT="850" EXT_STATE="0" />
 </VIEW>
 </PERSPECTIVE>""")
         }