# HG changeset patch
# User wenzelm
# Date 1480249169 -3600
# Node ID 49708cffb98dc6ced89f66b10662e6af2808bebd
# Parent  01920e390645fc7254b8d3407db433e692bcfdc2
NEWS for e6a3c55b929b;

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