clarified default layout: global overview left, local document information right;
authorwenzelm
Thu, 31 Jan 2019 16:33:57 +0100
changeset 69786 efb0e5332441
parent 69785 c19a32cb9625
child 69787 a8ee66876a1a
clarified default layout: global overview left, local document information right;
src/Pure/Tools/main.scala
src/Tools/jEdit/src/jEdit.props
--- a/src/Pure/Tools/main.scala	Thu Jan 31 16:32:41 2019 +0100
+++ b/src/Pure/Tools/main.scala	Thu Jan 31 16:33:57 2019 +0100
@@ -53,7 +53,7 @@
 
         if (!(settings_dir + Path.explode("perspective.xml")).is_file) {
           File.write(settings_dir + Path.explode("DockableWindowManager/perspective-view0.xml"),
-            """<DOCKING LEFT="vfs.browser" TOP="" RIGHT="isabelle-documentation" BOTTOM="" LEFT_POS="250" TOP_POS="0" RIGHT_POS="250" BOTTOM_POS="250" />""")
+            """<DOCKING LEFT="isabelle-documentation" TOP="" RIGHT="isabelle-theories" BOTTOM="" LEFT_POS="250" TOP_POS="0" RIGHT_POS="250" BOTTOM_POS="250" />""")
           File.write(settings_dir + Path.explode("perspective.xml"),
             """<?xml version="1.0" encoding="UTF-8" ?>
 <!DOCTYPE PERSPECTIVE SYSTEM "perspective.dtd">
--- a/src/Tools/jEdit/src/jEdit.props	Thu Jan 31 16:32:41 2019 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Thu Jan 31 16:33:57 2019 +0100
@@ -189,7 +189,7 @@
 insert-newline.shortcut=
 isabelle.antiquoted_cartouche.label=Make antiquoted cartouche
 isabelle-debugger.dock-position=floating
-isabelle-documentation.dock-position=right
+isabelle-documentation.dock-position=left
 isabelle-output.dock-position=bottom
 isabelle-output.height=174
 isabelle-output.width=412