# HG changeset patch
# User wenzelm
# Date 1671455412 -3600
# Node ID 1e1806912bc153a6a15aca8e46e3e16480685965
# Parent  9dbf00b9c2d579a51b44df07ca355a7bd4b18d0a
tuned signature;

diff -r 9dbf00b9c2d5 -r 1e1806912bc1 src/Tools/jEdit/src/document_dockable.scala
--- 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 {
diff -r 9dbf00b9c2d5 -r 1e1806912bc1 src/Tools/jEdit/src/theories_dockable.scala
--- 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 =>
diff -r 9dbf00b9c2d5 -r 1e1806912bc1 src/Tools/jEdit/src/theories_status.scala
--- 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)