# HG changeset patch
# User wenzelm
# Date 1549029756 -3600
# Node ID a7529ac9c1c59a4167e3efcaf0abddc55cec9b06
# Parent  b9a5805d1d702252f3732787a48e8902b82fffff
clarified default (amending ca9780325a21): it also affects "open-file" dialog, which should be "buffer";

diff -r b9a5805d1d70 -r a7529ac9c1c5 src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Thu Jan 31 22:53:35 2019 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Fri Feb 01 15:02:36 2019 +0100
@@ -290,7 +290,6 @@
 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