Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Thu, 07 Nov 2024 16:03:53 +0100
changeset 81391 365b9aac4363
parent 81390 71e66ebbc632
child 81392 92aa6f7b470c
tuned;
src/Tools/jEdit/src/simplifier_trace_window.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/simplifier_trace_window.scala	Thu Nov 07 15:42:35 2024 +0100
+++ b/src/Tools/jEdit/src/simplifier_trace_window.scala	Thu Nov 07 16:03:53 2024 +0100
@@ -150,8 +150,8 @@
   handle_resize()
 
   def handle_update(): Unit = {
-    val xml = Pretty.separate(tree.tree_children.flatMap(_.format))
-    pretty_text_area.update(snapshot, Command.Results.empty, xml)
+    val output = tree.tree_children.flatMap(_.format)
+    pretty_text_area.update(snapshot, Command.Results.empty, Pretty.separate(output))
   }
 
   def handle_resize(): Unit = pretty_text_area.zoom()
isabelle