# HG changeset patch
# User wenzelm
# Date 1671456446 -3600
# Node ID 63c0a456b977d681105ff97b2f9ccb6064fbd851
# Parent  1e1806912bc153a6a15aca8e46e3e16480685965
tuned signature, following Document_Dockable;

diff -r 1e1806912bc1 -r 63c0a456b977 src/Tools/jEdit/src/theories_dockable.scala
--- a/src/Tools/jEdit/src/theories_dockable.scala	Mon Dec 19 14:10:12 2022 +0100
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Mon Dec 19 14:27:26 2022 +0100
@@ -48,8 +48,8 @@
 
   /* main */
 
-  val status = new Theories_Status(view)
-  set_content(new ScrollPane(status.gui))
+  private val theories = new Theories_Status(view)
+  set_content(new ScrollPane(theories.gui))
 
   private val main =
     Session.Consumer[Any](getClass.getName) {
@@ -60,11 +60,11 @@
         GUI_Thread.later {
           continuous_checking.load()
           logic.load()
-          status.refresh()
+          theories.refresh()
         }
 
       case changed: Session.Commands_Changed =>
-        GUI_Thread.later { status.update(domain = Some(changed.nodes), trim = changed.assignment) }
+        GUI_Thread.later { theories.update(domain = Some(changed.nodes), trim = changed.assignment) }
     }
 
   override def init(): Unit = {
@@ -73,7 +73,7 @@
     PIDE.session.commands_changed += main
 
     handle_phase(PIDE.session.phase)
-    status.update()
+    theories.update()
   }
 
   override def exit(): Unit = {