# HG changeset patch # User wenzelm # Date 1514821012 -3600 # Node ID 506acf60d6b1fcbabebf425329d06b9e2fcd78c7 # Parent 0e322d7325c39a3b9749c1e04408179134993b4e proper purge of auxiliary bibtex theory; diff -r 0e322d7325c3 -r 506acf60d6b1 src/Tools/jEdit/src/document_model.scala --- a/src/Tools/jEdit/src/document_model.scala Mon Jan 01 16:06:37 2018 +0100 +++ b/src/Tools/jEdit/src/document_model.scala Mon Jan 01 16:36:52 2018 +0100 @@ -449,8 +449,9 @@ } def purge_edits(doc_blobs: Document.Blobs): Option[List[Document.Edit_Text]] = - if (node_required || !Document.Node.is_no_perspective_text(last_perspective) || - pending_edits.nonEmpty) None + if (pending_edits.nonEmpty || + !is_bibtex_theory && + (node_required || !Document.Node.is_no_perspective_text(last_perspective))) None else { val text_edits = List(Text.Edit.remove(0, content.text)) Some(node_edits(Document.Node.no_header, text_edits, Document.Node.no_perspective_text))