# HG changeset patch
# User wenzelm
# Date 1670351369 -3600
# Node ID 127ee77c24ffdd776302ce5cc96d719defa25a06
# Parent  1b7bb4f8c0f46ac44a12f3eac49baafe381ee63e
tuned;

diff -r 1b7bb4f8c0f4 -r 127ee77c24ff src/Tools/jEdit/src/main_plugin.scala
--- a/src/Tools/jEdit/src/main_plugin.scala	Tue Dec 06 19:20:09 2022 +0100
+++ b/src/Tools/jEdit/src/main_plugin.scala	Tue Dec 06 19:29:29 2022 +0100
@@ -121,15 +121,16 @@
 
       val thy_files2 =
         (for {
-          (name, _) <- models.iterator
-          thy_name <- resources.make_theory_name(name)
+          (node_name, _) <- models.iterator
+          thy_name <- resources.make_theory_name(node_name)
         } yield thy_name).toList
 
       val aux_files =
         if (options.bool("jedit_auto_resolve")) {
           val stable_tip_version =
-            if (models.forall(p => p._2.is_stable))
+            if (models.forall(p => p._2.is_stable)) {
               session.get_state().stable_tip_version
+            }
             else None
           stable_tip_version match {
             case Some(version) => resources.undefined_blobs(version.nodes)