src/Tools/VSCode/src/document_model.scala

--- a/src/Tools/VSCode/src/document_model.scala	Wed Nov 07 14:06:43 2018 +0100
+++ b/src/Tools/VSCode/src/document_model.scala	Wed Nov 07 21:42:16 2018 +0100
@@ -59,7 +59,7 @@
 
   def init(session: Session, editor: Server.Editor, node_name: Document.Node.Name): Document_Model =
     Document_Model(session, editor, node_name, Content.empty,
-      node_required = node_name.is_bibtex_theory)
+      node_required = session.resources.file_formats.is_theory(node_name))
 }
 
 sealed case class Document_Model(