src/Tools/jEdit/src/theories_dockable.scala
changeset 54671 d64a4ef26edb
parent 54652 07ee041537a5
parent 54531 8330faaeebd5
child 55618 995162143ef4
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Thu Dec 05 17:52:12 2013 +0100
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Thu Dec 05 17:58:03 2013 +0100
     1.3 @@ -187,10 +187,10 @@
     1.4      val snapshot = PIDE.session.snapshot()
     1.5  
     1.6      val iterator =
     1.7 -      restriction match {
     1.8 +      (restriction match {
     1.9          case Some(names) => names.iterator.map(name => (name, snapshot.version.nodes(name)))
    1.10          case None => snapshot.version.nodes.entries
    1.11 -      }
    1.12 +      }).filter(_._1.is_theory)
    1.13      val nodes_status1 =
    1.14        (nodes_status /: iterator)({ case (status, (name, node)) =>
    1.15            if (PIDE.thy_load.loaded_theories(name.theory)) status