# HG changeset patch
# User wenzelm
# Date 1430945321 -7200
# Node ID d496ab7e01362fb51bc7edcd4b71c992e2437aab
# Parent  a2fa0e01302d59752ff710a342e5f99ac2542da2
prevent incoherent default in SideKick 1.7;

diff -r a2fa0e01302d -r d496ab7e0136 src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Wed May 06 14:23:22 2015 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Wed May 06 22:48:41 2015 +0200
@@ -256,6 +256,7 @@
 sidekick.complete-instant.toggle=false
 sidekick.complete-popup.accept-characters=\\t
 sidekick.complete-popup.insert-characters=
+sidekick.showFilter=true
 sidekick.splitter.location=721
 systrayicon=false
 tip.show=false