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.
tuned defaults;
authorwenzelm
Wed, 07 May 2014 10:27:20 +0200
changeset 56892 1c7552b05466
parent 56891 48899c43b07d
child 56893 62d237cdc341
tuned defaults;
src/Tools/jEdit/src/jEdit.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jEdit.props	Wed May 07 10:24:32 2014 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Wed May 07 10:27:20 2014 +0200
@@ -243,6 +243,7 @@
 recent-buffer.shortcut2=C+CIRCUMFLEX
 restore.remote=false
 restore=false
+search.subdirs.toggle=true
 select-block.shortcut2=C+8
 sidekick-tree.dock-position=right
 sidekick.auto-complete-popup-get-focus=true
isabelle