NEWS
changeset 57833 2c2bae3da1c2
parent 57826 a01caa7145d4
child 57856 73c683e09401
     1.1 --- a/NEWS	Thu Jul 31 20:59:10 2014 +0200
     1.2 +++ b/NEWS	Thu Jul 31 21:29:31 2014 +0200
     1.3 @@ -85,6 +85,9 @@
     1.4  handling and propagation to enclosing text area -- avoid loosing
     1.5  keystrokes with slow / remote graphics displays.
     1.6  
     1.7 +* Completion popup supports both ENTER and TAB (default) to select an
     1.8 +item, depending on Isabelle options.
     1.9 +
    1.10  * Refined insertion of completion items wrt. jEdit text: multiple
    1.11  selections, rectangular selections, rectangular selection as "tall
    1.12  caret".