changeset 67293 | 2fe338d91d47 |
parent 67290 | 98b6cd12f963 |
child 67294 | 5f082b1fa9fa |
--- a/src/Pure/PIDE/resources.scala Thu Dec 28 22:53:45 2017 +0100 +++ b/src/Pure/PIDE/resources.scala Thu Dec 28 23:10:30 2017 +0100 @@ -189,7 +189,7 @@ } def is_hidden(name: Document.Node.Name): Boolean = - !name.is_theory || name.theory == Sessions.root_name || Bibtex.is_bibtex_theory(name) + !name.is_theory || name.theory == Sessions.root_name || name.is_bibtex_theory /* blobs */