src/Tools/jEdit/src/theories_dockable.scala
changeset 56372 fadb0fef09d7
parent 56367 fbab7fe746d5
child 56389 e49561ae3b65
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Wed Apr 02 18:35:07 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Wed Apr 02 20:22:12 2014 +0200
     1.3 @@ -188,7 +188,7 @@
     1.4      val iterator =
     1.5        (restriction match {
     1.6          case Some(names) => names.iterator.map(name => (name, snapshot.version.nodes(name)))
     1.7 -        case None => snapshot.version.nodes.entries
     1.8 +        case None => snapshot.version.nodes.iterator
     1.9        }).filter(_._1.is_theory)
    1.10      val nodes_status1 =
    1.11        (nodes_status /: iterator)({ case (status, (name, node)) =>