NEWS

--- a/NEWS	Fri Aug 23 11:23:26 2013 +0200
+++ b/NEWS	Fri Aug 23 11:41:17 2013 +0200
@@ -88,6 +88,10 @@
 
 * Option to skip over proofs, using implicit 'sorry' internally.
 
+* Action isabelle.reset-font-size resets main text area font size
+according to Isabelle/Scala plugin option "jedit_font_reset_size"
+(cf. keyboard shortcut C+0).
+
 
 *** Pure ***