# HG changeset patch
# User wenzelm
# Date 1760385976 -7200
# Node ID ab949accb98c716793285627170ae6774a24b673
# Parent  93db1865ee0ee20f5d40766501e3b83666796a86
verbose output of completed theories;

diff -r 93db1865ee0e -r ab949accb98c src/Tools/jEdit/src/session_build.scala
--- a/src/Tools/jEdit/src/session_build.scala	Mon Oct 13 22:01:22 2025 +0200
+++ b/src/Tools/jEdit/src/session_build.scala	Mon Oct 13 22:06:16 2025 +0200
@@ -46,7 +46,7 @@
 
     /* progress */
 
-    private val progress = new Progress {
+    private val progress = new Progress with Progress.Status {
       override def output(msgs: Progress.Output): Unit = {
         val txt = output_text(msgs.map(_.show_theory), terminate = true)
         if (txt.nonEmpty) {