diff -r 97a32b4d29e5 -r c9256ac99214 src/Tools/jEdit/src/output_dockable.scala
--- a/src/Tools/jEdit/src/output_dockable.scala	Sun Nov 17 19:59:10 2024 +0100
+++ b/src/Tools/jEdit/src/output_dockable.scala	Sun Nov 17 20:14:57 2024 +0100
@@ -114,13 +114,13 @@
     PIDE.session.global_options += main
     PIDE.session.commands_changed += main
     PIDE.session.caret_focus += main
-    handle_update(true)
+    output.init()
   }
 
   override def exit(): Unit = {
     PIDE.session.global_options -= main
     PIDE.session.commands_changed -= main
     PIDE.session.caret_focus -= main
-    output.delay_resize.revoke()
+    output.exit()
   }
 }