# HG changeset patch
# User wenzelm
# Date 1357330568 -3600
# Node ID 883963f45ac92d7459746035a24503a91ae2fc73
# Parent  a3ec244186cd6d2f10139c25b61f64e68e48556a
more reactive completion popup by default;

diff -r a3ec244186cd -r 883963f45ac9 NEWS
--- a/NEWS	Fri Jan 04 20:55:33 2013 +0100
+++ b/NEWS	Fri Jan 04 21:16:08 2013 +0100
@@ -96,6 +96,10 @@
 adjust the main text area font size, and its derivatives for output,
 tooltips etc.  Cf. keyboard shortcuts C-PLUS and C-MINUS.
 
+* More reactive completion popup by default: use \t (TAB) instead of
+\n (NEWLINE) to minimize intrusion into regular flow of editing.  See
+also "Plugin Options / SideKick / General / Code Completion Options".
+
 * Implicit check and build dialog of the specified logic session
 image.  For example, HOL, HOLCF, HOL-Nominal can be produced on
 demand, without bundling big platform-dependent heap images in the
diff -r a3ec244186cd -r 883963f45ac9 src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Fri Jan 04 20:55:33 2013 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Fri Jan 04 21:16:08 2013 +0100
@@ -213,9 +213,9 @@
 sidekick-tree.dock-position=right
 sidekick.auto-complete-popup-get-focus=true
 sidekick.buffer-save-parse=true
-sidekick.complete-delay=300
+sidekick.complete-delay=0
 sidekick.complete-instant.toggle=false
-sidekick.complete-popup.accept-characters=\\n\\t
+sidekick.complete-popup.accept-characters=\\t
 sidekick.complete-popup.insert-characters=
 sidekick.splitter.location=721
 systrayicon=false