more reactive completion popup by default;
authorwenzelm
Fri Jan 04 21:16:08 2013 +0100 (2013-01-04)
changeset 50730883963f45ac9
parent 50729 a3ec244186cd
child 50731 72624ff45676
more reactive completion popup by default;
NEWS
src/Tools/jEdit/src/jEdit.props
     1.1 --- a/NEWS	Fri Jan 04 20:55:33 2013 +0100
     1.2 +++ b/NEWS	Fri Jan 04 21:16:08 2013 +0100
     1.3 @@ -96,6 +96,10 @@
     1.4  adjust the main text area font size, and its derivatives for output,
     1.5  tooltips etc.  Cf. keyboard shortcuts C-PLUS and C-MINUS.
     1.6  
     1.7 +* More reactive completion popup by default: use \t (TAB) instead of
     1.8 +\n (NEWLINE) to minimize intrusion into regular flow of editing.  See
     1.9 +also "Plugin Options / SideKick / General / Code Completion Options".
    1.10 +
    1.11  * Implicit check and build dialog of the specified logic session
    1.12  image.  For example, HOL, HOLCF, HOL-Nominal can be produced on
    1.13  demand, without bundling big platform-dependent heap images in the
     2.1 --- a/src/Tools/jEdit/src/jEdit.props	Fri Jan 04 20:55:33 2013 +0100
     2.2 +++ b/src/Tools/jEdit/src/jEdit.props	Fri Jan 04 21:16:08 2013 +0100
     2.3 @@ -213,9 +213,9 @@
     2.4  sidekick-tree.dock-position=right
     2.5  sidekick.auto-complete-popup-get-focus=true
     2.6  sidekick.buffer-save-parse=true
     2.7 -sidekick.complete-delay=300
     2.8 +sidekick.complete-delay=0
     2.9  sidekick.complete-instant.toggle=false
    2.10 -sidekick.complete-popup.accept-characters=\\n\\t
    2.11 +sidekick.complete-popup.accept-characters=\\t
    2.12  sidekick.complete-popup.insert-characters=
    2.13  sidekick.splitter.location=721
    2.14  systrayicon=false