allow faster navigation of directory hierarchy (reverting 69465c3e3560);
authorwenzelm
Thu Apr 11 14:22:52 2019 +0200 (7 months ago)
changeset 7012045ca4006a37f
parent 70119 b48a496ca0cd
child 70121 61e26527480e
allow faster navigation of directory hierarchy (reverting 69465c3e3560);
src/Tools/jEdit/src/jEdit.props
     1.1 --- a/src/Tools/jEdit/src/jEdit.props	Thu Apr 11 12:41:50 2019 +0200
     1.2 +++ b/src/Tools/jEdit/src/jEdit.props	Thu Apr 11 14:22:52 2019 +0200
     1.3 @@ -292,7 +292,6 @@
     1.4  toggle-rect-select.shortcut2=A+NUMBER_SIGN
     1.5  twoStageSave=false
     1.6  vfs.browser.dock-position=left
     1.7 -vfs.browser.sortMixFilesAndDirs=true
     1.8  vfs.favorite.0.type=1
     1.9  vfs.favorite.0=$ISABELLE_HOME
    1.10  vfs.favorite.1.type=1