src/Tools/VSCode/src/vscode_model.scala

--- a/src/Tools/VSCode/src/vscode_model.scala	Sun Nov 06 23:10:28 2022 +0100
+++ b/src/Tools/VSCode/src/vscode_model.scala	Mon Nov 07 21:32:09 2022 +0100
@@ -59,7 +59,7 @@
     node_name: Document.Node.Name
   ): VSCode_Model = {
     VSCode_Model(session, editor, node_name, Content.empty,
-      node_required = File_Format.registry.is_theory(node_name))
+      theory_required = File_Format.registry.is_theory(node_name))
   }
 }
 
@@ -70,7 +70,8 @@
   content: VSCode_Model.Content,
   version: Option[Long] = None,
   external_file: Boolean = false,
-  node_required: Boolean = false,
+  theory_required: Boolean = false,
+  document_required: Boolean = false,
   last_perspective: Document.Node.Perspective_Text = Document.Node.no_perspective_text,
   pending_edits: List[Text.Edit] = Nil,
   published_diagnostics: List[Text.Info[Command.Results]] = Nil,
@@ -78,6 +79,11 @@
 ) extends Document.Model {
   model =>
 
+  /* required */
+
+  def get_required(document: Boolean): Boolean =
+    if (document) document_required else theory_required
+
 
   /* content */