# HG changeset patch
# User traytel
# Date 1554660135 -7200
# Node ID 66dad580507980fda7249041aec73eef9927ad8f
# Parent  3a1b2d8c89aaea6e9c64680b427243df611e1e50# Parent  69465c3e3560890a5acfb32489356bf62d93a6ad
merged

diff -r 3a1b2d8c89aa -r 66dad5805079 src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Sun Apr 07 08:26:57 2019 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Sun Apr 07 20:02:15 2019 +0200
@@ -292,6 +292,7 @@
 toggle-rect-select.shortcut2=A+NUMBER_SIGN
 twoStageSave=false
 vfs.browser.dock-position=left
+vfs.browser.sortMixFilesAndDirs=true
 vfs.favorite.0.type=1
 vfs.favorite.0=$ISABELLE_HOME
 vfs.favorite.1.type=1