# HG changeset patch
# User wenzelm
# Date 1334865204 -7200
# Node ID 8bdfacbc2fa2fe469f4ba6d37d0e9053d62cdbd4
# Parent  b9e2ed4b15794bfba0310f3fa05f890c30e0ab33
some sidekick options for more advanced completion;

diff -r b9e2ed4b1579 -r 8bdfacbc2fa2 src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Thu Apr 19 21:47:50 2012 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Thu Apr 19 21:53:24 2012 +0200
@@ -191,8 +191,12 @@
 restore.remote=false
 restore=false
 sidekick-tree.dock-position=right
+sidekick.auto-complete-popup-get-focus=true
 sidekick.buffer-save-parse=true
 sidekick.complete-delay=300
+sidekick.complete-instant.toggle=false
+sidekick.complete-popup.accept-characters=\\n\\t
+sidekick.complete-popup.insert-characters=
 sidekick.splitter.location=721
 tip.show=false
 twoStageSave=false