src/Tools/jEdit/src/timing_dockable.scala
changeset 64854 f5aa712e6250
parent 64664 951507563033
child 64882 c3b42ac0cf81
     1.1 --- a/src/Tools/jEdit/src/timing_dockable.scala	Mon Jan 09 19:34:16 2017 +0100
     1.2 +++ b/src/Tools/jEdit/src/timing_dockable.scala	Mon Jan 09 20:26:59 2017 +0100
     1.3 @@ -187,7 +187,7 @@
     1.4        }
     1.5      val nodes_timing1 =
     1.6        (nodes_timing /: iterator)({ case (timing1, (name, node)) =>
     1.7 -          if (PIDE.resources.loaded_theories(name.theory)) timing1
     1.8 +          if (PIDE.resources.base.loaded_theories(name.theory)) timing1
     1.9            else {
    1.10              val node_timing =
    1.11                Protocol.node_timing(snapshot.state, snapshot.version, node, timing_threshold)