NEWS

--- a/NEWS	Thu Feb 07 13:20:05 2013 +0100
+++ b/NEWS	Sun Feb 10 14:57:00 2013 +0100
@@ -93,7 +93,8 @@
 * Dockable window "Symbols" provides some editing support for Isabelle
 symbols.
 
-* Dockable window "Monitor" shows ML runtime statistics.
+* Dockable window "Monitor" shows ML runtime statistics.  Note that
+continuous display of the chart slows down the system.
 
 * Improved editing support for control styles: subscript, superscript,
 bold, reset of style -- operating on single symbols or text