src/Tools/jEdit/src/jEdit.props

--- 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