src/Tools/jEdit/src/session_dockable.scala
changeset 48870 4accee106f0f
parent 48021 d899be1cfe6d
child 49038 2f0530b81c45
     1.1 --- a/src/Tools/jEdit/src/session_dockable.scala	Tue Aug 21 11:00:54 2012 +0200
     1.2 +++ b/src/Tools/jEdit/src/session_dockable.scala	Tue Aug 21 12:15:25 2012 +0200
     1.3 @@ -134,7 +134,7 @@
     1.4          }
     1.5        val nodes_status1 =
     1.6          (nodes_status /: iterator)({ case (status, (name, node)) =>
     1.7 -            if (Isabelle.thy_load.is_loaded(name.theory)) status
     1.8 +            if (Isabelle.thy_load.loaded_theories(name.theory)) status
     1.9              else status + (name -> Protocol.node_status(snapshot.state, snapshot.version, node)) })
    1.10  
    1.11        if (nodes_status != nodes_status1) {