Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/theories_dockable.scala
changeset 65361 ecefb68dc21d
parent 65355 403eabd73c9a
child 65493 4729318d3fc3 
--- a/src/Tools/jEdit/src/theories_dockable.scala	Mon Apr 03 16:50:44 2017 +0200
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Mon Apr 03 17:00:36 2017 +0200
@@ -192,7 +192,7 @@
       }
     val nodes_status1 =
       (nodes_status /: iterator)({ case (status, (name, node)) =>
-          if (!name.is_theory || PIDE.resources.base.loaded_theory(name) || node.is_empty)
+          if (!name.is_theory || PIDE.resources.session_base.loaded_theory(name) || node.is_empty)
             status
           else status + (name -> Protocol.node_status(snapshot.state, snapshot.version, node)) })
isabelle