tuned signature;

--- a/src/Tools/jEdit/src/document_dockable.scala	Mon Dec 19 13:40:36 2022 +0100
+++ b/src/Tools/jEdit/src/document_dockable.scala	Mon Dec 19 14:10:12 2022 +0100
@@ -268,7 +268,7 @@
         GUI_Thread.later {
           document_session.load()
           handle_resize()
-          theories.reinit()
+          theories.refresh()
         }
       case changed: Session.Commands_Changed =>
         GUI_Thread.later {

--- a/src/Tools/jEdit/src/theories_dockable.scala	Mon Dec 19 13:40:36 2022 +0100
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Mon Dec 19 14:10:12 2022 +0100
@@ -60,7 +60,7 @@
         GUI_Thread.later {
           continuous_checking.load()
           logic.load()
-          status.reinit()
+          status.refresh()
         }
 
       case changed: Session.Commands_Changed =>

--- a/src/Tools/jEdit/src/theories_status.scala	Mon Dec 19 13:40:36 2022 +0100
+++ b/src/Tools/jEdit/src/theories_status.scala	Mon Dec 19 14:10:12 2022 +0100
@@ -229,9 +229,9 @@
   }
 
 
-  /* reinit */
+  /* refresh */
 
-  def reinit(): Unit = {
+  def refresh(): Unit = {
     GUI_Thread.require {}
 
     theory_required = Document_Model.required_nodes(false)