File Browser is open by default;
authorwenzelm
Sun, 13 Jan 2019 16:57:25 +0100
changeset 69657 f044766cd94f
parent 69656 83f15deb2d36
child 69658 e4e5bc6ac214
File Browser is open by default;
src/Pure/Tools/main.scala
src/Tools/jEdit/src/jEdit.props
--- a/src/Pure/Tools/main.scala	Sun Jan 13 13:33:23 2019 +0100
+++ b/src/Pure/Tools/main.scala	Sun Jan 13 16:57:25 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="" TOP="" RIGHT="isabelle-documentation" BOTTOM="" LEFT_POS="0" TOP_POS="0" RIGHT_POS="250" BOTTOM_POS="250" />""")
+            """<DOCKING LEFT="vfs.browser" TOP="" RIGHT="isabelle-documentation" 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	Sun Jan 13 13:33:23 2019 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Sun Jan 13 16:57:25 2019 +0100
@@ -289,7 +289,7 @@
 toggle-multi-select.shortcut2=C+NUMBER_SIGN
 toggle-rect-select.shortcut2=A+NUMBER_SIGN
 twoStageSave=false
-vfs.browser.dock-position=floating
+vfs.browser.dock-position=left
 vfs.favorite.0.type=1
 vfs.favorite.0=$ISABELLE_HOME
 vfs.favorite.1.type=1