diff -r 13942abebcd3 -r c95af99e003b NEWS --- a/NEWS Fri Jan 11 21:51:39 2013 +0100 +++ b/NEWS Fri Jan 11 22:01:49 2013 +0100 @@ -101,7 +101,8 @@ * Actions isabelle.increase-font-size and isabelle.decrease-font-size adjust the main text area font size, and its derivatives for output, -tooltips etc. Cf. keyboard shortcuts C-PLUS and C-MINUS. +tooltips etc. Cf. keyboard shortcuts C-PLUS and C-MINUS, which often +need to be adapted to local keyboard layouts. * More reactive completion popup by default: use \t (TAB) instead of \n (NEWLINE) to minimize intrusion into regular flow of editing. See