Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/theories_dockable.scala
changeset 68299 0b5a23477911
parent 67287 7ef1c5dada12
child 68321 daca5f2a0c90 
--- a/src/Tools/jEdit/src/theories_dockable.scala	Sun May 27 13:42:01 2018 +0200
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Sun May 27 22:21:43 2018 +0200
@@ -245,7 +245,7 @@
       })
 
     val nodes_status2 =
-      nodes_status1 -- nodes_status1.keysIterator.filter(nodes.is_hidden(_))
+      nodes_status1 -- nodes_status1.keysIterator.filter(nodes.is_suppressed(_))
 
     if (nodes_status != nodes_status2) {
       nodes_status = nodes_status2
isabelle