NEWS
changeset 50836 c95af99e003b
parent 50778 15dc91cf4750
child 50878 2840522a936d
     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