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