There is no reason we should need to reload the bibinfo cache for

internal buffers.
This commit is contained in:
Richard Kimberly Heck 2018-12-12 01:37:00 -05:00
parent e9614a36eb
commit af71ebff8e

View File

@ -2493,6 +2493,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) {