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