NEWS for e6a3c55b929b;
authorwenzelm
Sun, 27 Nov 2016 13:19:29 +0100
changeset 64527 49708cffb98d
parent 64526 01920e390645
child 64528 a67edee6b1fa
NEWS for e6a3c55b929b;
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