# HG changeset patch
# User wenzelm
# Date 1357938109 -3600
# Node ID c95af99e003bf222944cc0ee9e7284f66ded3701
# Parent  13942abebcd3ac4caf8384fb267b5aa94ccff6f8
more NEWS;

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