tuned;
authorwenzelm
Mon Dec 07 16:27:09 2015 +0100 (2015-12-07)
changeset 61803ba051060d46b
parent 61802 1d81de0bddc4
child 61805 5d2ade78e002
tuned;
NEWS
     1.1 --- a/NEWS	Mon Dec 07 15:20:06 2015 +0100
     1.2 +++ b/NEWS	Mon Dec 07 16:27:09 2015 +0100
     1.3 @@ -48,18 +48,27 @@
     1.4  * The main Isabelle executable is managed as single-instance Desktop
     1.5  application uniformly on all platforms: Linux, Windows, Mac OS X.
     1.6  
     1.7 -* The text overview column (status of errors, warnings etc.) is updated
     1.8 -asynchronously, leading to much better editor reactivity. Moreover, the
     1.9 -full document node content is taken into account.
    1.10 -
    1.11 -* The State panel manages explicit proof state output. The jEdit action
    1.12 -"isabelle.update-state" (shortcut S+ENTER) triggers manual update
    1.13 -according to cursor position.
    1.14 +* The State panel manages explicit proof state output, with dynamic
    1.15 +auto-update according to cursor movement. Alternatively, the jEdit
    1.16 +action "isabelle.update-state" (shortcut S+ENTER) triggers manual
    1.17 +update.
    1.18  
    1.19  * The Output panel no longer shows proof state output by default, to
    1.20  avoid GUI overcrowding. INCOMPATIBILITY, use the State panel instead or
    1.21  enable option "editor_output_state".
    1.22  
    1.23 +* The text overview column (status of errors, warnings etc.) is updated
    1.24 +asynchronously, leading to much better editor reactivity. Moreover, the
    1.25 +full document node content is taken into account. The width of the
    1.26 +column is scaled according to the main text area font, for improved
    1.27 +visibility.
    1.28 +
    1.29 +* The main text area no longer changes its color hue in outdated
    1.30 +situations. The text overview column takes over the role to indicate
    1.31 +unfinished edits in the PIDE pipeline. This avoids flashing text display
    1.32 +due to ad-hoc updates by auxiliary GUI components, such as the State
    1.33 +panel.
    1.34 +
    1.35  * Action "isabelle-emph" (with keyboard shortcut C+e LEFT) controls
    1.36  emphasized text style; the effect is visible in document output, not in
    1.37  the editor.