Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/protocol.scala
changeset 76070 cf13b2147c48
parent 76022 6ce62e4e7dc0
child 76087 c8f5fec36b5c 
--- 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)
isabelle