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.
merged
authortraytel
Sun, 07 Apr 2019 20:02:15 +0200
changeset 70079 66dad5805079
parent 70078 3a1b2d8c89aa (current diff)
parent 70077 69465c3e3560 (diff)
child 70080 36821db2e356
merged
--- 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
isabelle