tuned;

--- a/src/Tools/jEdit/src/jedit_resources.scala	Thu Dec 08 11:51:42 2022 +0100
+++ b/src/Tools/jEdit/src/jedit_resources.scala	Thu Dec 08 11:55:35 2022 +0100
@@ -131,12 +131,13 @@
 
   /* theory text edits */
 
+  def auto_resolve: Boolean = PIDE.options.bool("jedit_auto_resolve")
+
   override def commit(change: Session.Change): Unit = {
     if (change.syntax_changed.nonEmpty) {
       GUI_Thread.later { Document_Model.syntax_changed(change.syntax_changed) }
     }
-    if (change.deps_changed ||
-        PIDE.options.bool("jedit_auto_resolve") && undefined_blobs(change.version).nonEmpty) {
+    if (change.deps_changed || auto_resolve && undefined_blobs(change.version).nonEmpty) {
       PIDE.plugin.deps_changed()
     }
   }

--- a/src/Tools/jEdit/src/main_plugin.scala	Thu Dec 08 11:51:42 2022 +0100
+++ b/src/Tools/jEdit/src/main_plugin.scala	Thu Dec 08 11:55:35 2022 +0100
@@ -117,7 +117,7 @@
       val thy_files = resources.resolve_dependencies(models, Nil)
 
       val aux_files =
-        if (options.bool("jedit_auto_resolve")) {
+        if (resources.auto_resolve) {
           session.stable_tip_version(models) match {
             case Some(version) => resources.undefined_blobs(version)
             case None => delay_load.invoke(); Nil