# HG changeset patch
# User wenzelm
# Date 1670250963 -3600
# Node ID 9c5780693350dd89c13ed8b0eb2a0fe180b5eb11
# Parent  d6a2a8bc40e17115e0fcb230ead31f67a5ffafcc
tuned messages: implement "verbose = false", but there is no theory output anyway;

diff -r d6a2a8bc40e1 -r 9c5780693350 src/Tools/jEdit/src/document_dockable.scala
--- a/src/Tools/jEdit/src/document_dockable.scala	Mon Dec 05 15:19:52 2022 +0100
+++ b/src/Tools/jEdit/src/document_dockable.scala	Mon Dec 05 15:36:03 2022 +0100
@@ -39,7 +39,6 @@
       Delay.first(PIDE.options.seconds("editor_update_delay"), gui = true) { update() }
 
     override def echo(msg: String): Unit = { syslog += msg; delay.invoke() }
-    override def theory(theory: Progress.Theory): Unit = echo(theory.message)
 
     def load(): Unit = {
       val path = document_output().log