diff -r 01920e390645 -r 49708cffb98d NEWS
--- a/NEWS	Sun Nov 27 13:13:26 2016 +0100
+++ b/NEWS	Sun Nov 27 13:19:29 2016 +0100
@@ -66,6 +66,11 @@
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
+* More aggressive flushing of machine-generated input, according to
+system option editor_generated_input_delay (in addition to existing
+editor_input_delay for regular user edits). This may affect overall PIDE
+reactivity and CPU usage.
+
 * Syntactic indentation according to Isabelle outer syntax. Action
 "indent-lines" (shortcut C+i) indents the current line according to
 command keywords and some command substructure. Action