From abc173c4f56464d9678baf733c8c90a5419fd26f Mon Sep 17 00:00:00 2001 From: Richard Kimberly Heck Date: Wed, 12 Dec 2018 01:37:00 -0500 Subject: [PATCH] There is no reason we should need to reload the bibinfo cache for internal buffers. (cherry picked from commit af71ebff8e1f04c5e6f656c4ce0e4a270bbc07e1) --- src/Buffer.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/Buffer.cpp b/src/Buffer.cpp index b71c3fcd83..6343405b5c 100644 --- a/src/Buffer.cpp +++ b/src/Buffer.cpp @@ -2483,6 +2483,9 @@ void Buffer::clearBibFileCache() const void Buffer::reloadBibInfoCache() const { + if (isInternal()) + return; + // use the master's cache Buffer const * const tmp = masterBuffer(); if (tmp != this) {