src/Tools/jEdit/src/jedit_resources.scala
changeset 61023 46df28442a80
parent 60988 1d7a7e33fd67
child 63022 785a59235a15
     1.1 --- a/src/Tools/jEdit/src/jedit_resources.scala	Tue Aug 25 10:41:12 2015 +0200
     1.2 +++ b/src/Tools/jEdit/src/jedit_resources.scala	Tue Aug 25 13:46:24 2015 +0200
     1.3 @@ -111,6 +111,9 @@
     1.4  
     1.5    /* theory text edits */
     1.6  
     1.7 +  def undefined_blobs(nodes: Document.Nodes): List[Document.Node.Name] =
     1.8 +    nodes.undefined_blobs(node => !loaded_theories(node.theory))
     1.9 +
    1.10    override def commit(change: Session.Change)
    1.11    {
    1.12      if (change.syntax_changed.nonEmpty)
    1.13 @@ -123,7 +126,7 @@
    1.14          } model.syntax_changed()
    1.15        }
    1.16      if (change.deps_changed ||
    1.17 -        PIDE.options.bool("jedit_auto_resolve") && change.version.nodes.undefined_blobs.nonEmpty)
    1.18 +        PIDE.options.bool("jedit_auto_resolve") && undefined_blobs(change.version.nodes).nonEmpty)
    1.19        PIDE.deps_changed()
    1.20    }
    1.21  }