Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
allow faster navigation of directory hierarchy (reverting 69465c3e3560);
authorwenzelm
Thu, 11 Apr 2019 14:22:52 +0200
changeset 70120 45ca4006a37f
parent 70119 b48a496ca0cd
child 70121 61e26527480e
allow faster navigation of directory hierarchy (reverting 69465c3e3560);
src/Tools/jEdit/src/jEdit.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jEdit.props	Thu Apr 11 12:41:50 2019 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Thu Apr 11 14:22:52 2019 +0200
@@ -292,7 +292,6 @@
 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
isabelle