# HG changeset patch
# User wenzelm
# Date 1662458124 -7200
# Node ID cf13b2147c48adf3607e8a22896216754d06c4d9
# Parent  79094d7b6f2233f2eba6f4b6d7a91dce04d39549
inline markup for Output.state (in contrast to c94bba7906d2): make messages available via Rendering.text_messages and thus "isabelle log" (see cb0c407fbc6e), while Rendering.output_messages of Isabelle/jEdit/VSCode is unaffected;

diff -r 79094d7b6f22 -r cf13b2147c48 src/Pure/PIDE/protocol.scala
--- a/src/Pure/PIDE/protocol.scala	Mon Sep 05 23:00:00 2022 +0200
+++ b/src/Pure/PIDE/protocol.scala	Tue Sep 06 11:55:24 2022 +0200
@@ -165,7 +165,7 @@
     }
 
   def is_inlined(msg: XML.Tree): Boolean =
-    !(is_result(msg) || is_tracing(msg) || is_state(msg))
+    !(is_result(msg) || is_tracing(msg))
 
   def is_exported(msg: XML.Tree): Boolean =
     is_writeln(msg) || is_warning(msg) || is_legacy(msg) || is_error(msg)