--- 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