# HG changeset patch
# User wenzelm
# Date 1731525257 -3600
# Node ID 36a1d7b2e668e3c87ddada5d96d7ccdb429f2e2c
# Parent  95c9af7483b1c5af27fb31b9ac7417335a33bf96
more NEWS;

diff -r 95c9af7483b1 -r 36a1d7b2e668 NEWS
--- a/NEWS	Wed Nov 13 20:10:34 2024 +0100
+++ b/NEWS	Wed Nov 13 20:14:17 2024 +0100
@@ -127,6 +127,21 @@
 formal markup by the prover. Repeated invocation of this action extends
 the selection incrementally.
 
+* The Output dockable (and its variants used elsewhere) has been
+improved as follows:
+
+  - Its vertical scroll position is maintained more carefully, when
+    messages are printed incrementally.
+
+  - Performance of printing messages repeatedly has improved slightly,
+    with less load on the GUI thread.
+
+  - Highlighting works via mouse hovering alone, without requiring
+    C-modifier. Double click selects that area.
+
+* An active highlight area in the input buffer or output panel may be
+selected via double-click.
+
 * The "Documentation" panel supports plain text files again, notably
 "jedit-changes". This was broken in Isabelle2022, Isabelle2023,
 Isabelle2024.