src/Tools/jEdit/src/output_area.scala

     parent match {
       case dockable: Dockable => dockable.set_content(if (split) split_pane else text_pane)
       case _ =>
     }
   }
+
+  def init(): Unit = handle_update()
+
+  def exit(): Unit = delay_resize.revoke()
 }