NEWS
changeset 50731 72624ff45676
parent 50720 834847691d99
parent 50730 883963f45ac9
child 50772 6973b3f41334
     1.1 --- a/NEWS	Fri Jan 04 20:04:59 2013 +0100
     1.2 +++ b/NEWS	Fri Jan 04 21:24:47 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