src/Tools/jEdit/src/theories_dockable.scala
changeset 56208 06cc31dff138
parent 55877 65c9968286d5
child 56357 8a58a8c5a1c0
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Tue Mar 18 16:45:14 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Tue Mar 18 17:39:03 2014 +0100
     1.3 @@ -192,7 +192,7 @@
     1.4        }).filter(_._1.is_theory)
     1.5      val nodes_status1 =
     1.6        (nodes_status /: iterator)({ case (status, (name, node)) =>
     1.7 -          if (PIDE.thy_load.loaded_theories(name.theory)) status
     1.8 +          if (PIDE.resources.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) {