# HG changeset patch
# User eberlm
# Date 1449504056 -3600
# Node ID 5d2ade78e0026d35d061879ab386cbc82a9b4fea
# Parent  67381557cee8211701eaaf77454049a3ba84fc51# Parent  ba051060d46bfc5f4fbf38d70203a60fd0ac1157
Merged

diff -r 67381557cee8 -r 5d2ade78e002 NEWS
--- a/NEWS	Mon Dec 07 16:06:49 2015 +0100
+++ b/NEWS	Mon Dec 07 17:00:56 2015 +0100
@@ -48,18 +48,27 @@
 * The main Isabelle executable is managed as single-instance Desktop
 application uniformly on all platforms: Linux, Windows, Mac OS X.
 
-* The text overview column (status of errors, warnings etc.) is updated
-asynchronously, leading to much better editor reactivity. Moreover, the
-full document node content is taken into account.
-
-* The State panel manages explicit proof state output. The jEdit action
-"isabelle.update-state" (shortcut S+ENTER) triggers manual update
-according to cursor position.
+* The State panel manages explicit proof state output, with dynamic
+auto-update according to cursor movement. Alternatively, the jEdit
+action "isabelle.update-state" (shortcut S+ENTER) triggers manual
+update.
 
 * The Output panel no longer shows proof state output by default, to
 avoid GUI overcrowding. INCOMPATIBILITY, use the State panel instead or
 enable option "editor_output_state".
 
+* The text overview column (status of errors, warnings etc.) is updated
+asynchronously, leading to much better editor reactivity. Moreover, the
+full document node content is taken into account. The width of the
+column is scaled according to the main text area font, for improved
+visibility.
+
+* The main text area no longer changes its color hue in outdated
+situations. The text overview column takes over the role to indicate
+unfinished edits in the PIDE pipeline. This avoids flashing text display
+due to ad-hoc updates by auxiliary GUI components, such as the State
+panel.
+
 * Action "isabelle-emph" (with keyboard shortcut C+e LEFT) controls
 emphasized text style; the effect is visible in document output, not in
 the editor.