more NEWS;
authorwenzelm
Fri Jan 11 22:01:49 2013 +0100 (2013-01-11)
changeset 50836c95af99e003b
parent 50835 13942abebcd3
child 50837 db0012672241
more NEWS;
NEWS
     1.1 --- a/NEWS	Fri Jan 11 21:51:39 2013 +0100
     1.2 +++ b/NEWS	Fri Jan 11 22:01:49 2013 +0100
     1.3 @@ -101,7 +101,8 @@
     1.4  
     1.5  * Actions isabelle.increase-font-size and isabelle.decrease-font-size
     1.6  adjust the main text area font size, and its derivatives for output,
     1.7 -tooltips etc.  Cf. keyboard shortcuts C-PLUS and C-MINUS.
     1.8 +tooltips etc.  Cf. keyboard shortcuts C-PLUS and C-MINUS, which often
     1.9 +need to be adapted to local keyboard layouts.
    1.10  
    1.11  * More reactive completion popup by default: use \t (TAB) instead of
    1.12  \n (NEWLINE) to minimize intrusion into regular flow of editing.  See