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 64854 f5aa712e6250
parent 64817 0bb6b582bb4f
child 64867 e7220f4de11f 
--- a/src/Tools/jEdit/src/theories_dockable.scala	Mon Jan 09 19:34:16 2017 +0100
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Mon Jan 09 20:26:59 2017 +0100
@@ -188,7 +188,7 @@
       }
     val nodes_status1 =
       (nodes_status /: iterator)({ case (status, (name, node)) =>
-          if (!name.is_theory || PIDE.resources.loaded_theories(name.theory) || node.is_empty)
+          if (!name.is_theory || PIDE.resources.base.loaded_theories(name.theory) || node.is_empty)
             status
           else status + (name -> Protocol.node_status(snapshot.state, snapshot.version, node)) })
isabelle