# HG changeset patch
# User wenzelm
# Date 1399451240 -7200
# Node ID 1c7552b05466b5a19114da08dae12f957f30e82e
# Parent  48899c43b07dc665f0d96a6e8deef0f9aa8303c4
tuned defaults;

diff -r 48899c43b07d -r 1c7552b05466 src/Tools/jEdit/src/jEdit.props
--- 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