src/Tools/jEdit/src/theories_dockable.scala
changeset 54531 8330faaeebd5
parent 53715 68c664737d04
child 54671 d64a4ef26edb
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Wed Nov 20 15:53:59 2013 +0100
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Wed Nov 20 16:15:54 2013 +0100
     1.3 @@ -186,10 +186,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