show file-browser favorites more prominently: access to Isabelle resources;
authorwenzelm
Thu, 31 Jan 2019 16:53:15 +0100
changeset 69789 ca9780325a21
parent 69788 ae1ef77746b5
child 69790 8608928e54ab
show file-browser favorites more prominently: access to Isabelle resources;
src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Thu Jan 31 16:45:24 2019 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Thu Jan 31 16:53:15 2019 +0100
@@ -290,6 +290,7 @@
 toggle-multi-select.shortcut2=C+NUMBER_SIGN
 toggle-rect-select.shortcut2=A+NUMBER_SIGN
 twoStageSave=false
+vfs.browser.defaultPath=favorites
 vfs.browser.dock-position=left
 vfs.favorite.0.type=1
 vfs.favorite.0=$ISABELLE_HOME