--- 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