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