NEWS
changeset 50198 0c7b351a6871
parent 50184 5a16f42a9b44
child 50213 7b73c0509835
child 50219 f6b95f0bba78
     1.1 --- a/NEWS	Sun Nov 25 15:17:01 2012 +0100
     1.2 +++ b/NEWS	Sun Nov 25 17:15:21 2012 +0100
     1.3 @@ -82,7 +82,11 @@
     1.4  
     1.5  * Improved editing support for control styles: subscript, superscript,
     1.6  bold, reset of style -- operating on single symbols or text
     1.7 -selections.  Cf. keyboard short-cuts C+e DOWN/UP/RIGHT/LEFT.
     1.8 +selections.  Cf. keyboard shortcuts C+e DOWN/UP/RIGHT/LEFT.
     1.9 +
    1.10 +* Actions isabelle.increase-font-size and isabelle.decrease-font-size
    1.11 +adjust the main text area font size, and its derivatives for output,
    1.12 +tooltips etc.  Cf. keyboard shortcuts C-PLUS and C-MINUS.
    1.13  
    1.14  * Uniform Java 7 platform on Linux, Mac OS X, Windows: recent updates
    1.15  from Oracle provide better multi-platform experience.  This version is