# HG changeset patch
# User wenzelm
# Date 1741732074 -3600
# Node ID 5a4ed4c2c72b0f857539aa6a155fa8247e02a02a
# Parent  01657d88ab40b501422fda9d87415452f24a1198
tuned text to fit better to slightly changed screenshot;

diff -r 01657d88ab40 -r 5a4ed4c2c72b src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Tue Mar 11 23:10:15 2025 +0100
+++ b/src/Doc/JEdit/JEdit.thy	Tue Mar 11 23:27:54 2025 +0100
@@ -1082,7 +1082,7 @@
   proof state messages without further distraction, while all other messages
   are displayed in \<^emph>\<open>Output\<close> (\secref{sec:output}).
   \Figref{fig:output-and-state} shows a typical GUI layout where both panels
-  are open.
+  are open, while the \<^emph>\<open>Proof state\<close> option is disabled within \<^emph>\<open>Output\<close>.
 
   \begin{figure}[!htb]
   \begin{center}