# HG changeset patch
# User wenzelm
# Date 1514496975 -3600
# Node ID 1bd9a0142d7a9b35a858408a77b5ca237fc2abdd
# Parent  98b6cd12f9633f521ad7dcce137e837a69dd29ed
bibtex theory is always required and thus eventually consolidated;

diff -r 98b6cd12f963 -r 1bd9a0142d7a src/Tools/jEdit/src/document_model.scala
--- a/src/Tools/jEdit/src/document_model.scala	Thu Dec 28 21:45:28 2017 +0100
+++ b/src/Tools/jEdit/src/document_model.scala	Thu Dec 28 22:36:15 2017 +0100
@@ -385,7 +385,8 @@
     file.foreach(PIDE.plugin.file_watcher.register_parent(_))
 
     val content = Document_Model.File_Content(text)
-    File_Model(session, node_name, file, content, node_required, last_perspective, pending_edits)
+    val node_required1 = node_required || Bibtex.is_bibtex_theory(node_name)
+    File_Model(session, node_name, file, content, node_required1, last_perspective, pending_edits)
   }
 }