# HG changeset patch
# User wenzelm
# Date 1514819190 -3600
# Node ID 760bbf416f1d9f1327897ae59271f3dd4abbb3d8
# Parent  54e2111d6f0ef8f7570ade4b981ca771a1ae1465
tuned;

diff -r 54e2111d6f0e -r 760bbf416f1d src/Tools/jEdit/src/document_model.scala
--- a/src/Tools/jEdit/src/document_model.scala	Sun Dec 31 21:42:20 2017 +0000
+++ b/src/Tools/jEdit/src/document_model.scala	Mon Jan 01 16:06:30 2018 +0100
@@ -546,7 +546,7 @@
 
   def bibtex_entries: List[Text.Info[String]] =
     GUI_Thread.require {
-      if (node_name.is_bibtex) {
+      if (is_bibtex) {
         _bibtex_entries match {
           case Some(entries) => entries
           case None =>