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.
clarified default (amending ca9780325a21): it also affects "open-file" dialog, which should be "buffer";
authorwenzelm
Fri, 01 Feb 2019 15:02:36 +0100
changeset 69781 a7529ac9c1c5
parent 69780 b9a5805d1d70
child 69782 76f2d492627e
clarified default (amending ca9780325a21): it also affects "open-file" dialog, which should be "buffer";
src/Tools/jEdit/src/jEdit.props file | annotate | diff | comparison | revisions 
--- 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
isabelle