# HG changeset patch
# User wenzelm
# Date 1548948837 -3600
# Node ID efb0e5332441f76b681d62bacb4b6d10a8f23a46
# Parent  c19a32cb96253d8fd909fe8d2a227d83584b9df9
clarified default layout: global overview left, local document information right;

diff -r c19a32cb9625 -r efb0e5332441 src/Pure/Tools/main.scala
--- 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">
diff -r c19a32cb9625 -r efb0e5332441 src/Tools/jEdit/src/jEdit.props
--- 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