more reactive completion popup by default;
authorwenzelm
Fri, 04 Jan 2013 21:16:08 +0100
changeset 50730 883963f45ac9
parent 50729 a3ec244186cd
child 50731 72624ff45676
more reactive completion popup by default;
NEWS
src/Tools/jEdit/src/jEdit.props
--- 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
--- 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