Attempt to fix bug #13017.

[lyx.git] / src / frontends / qt / GuiView.cpp

diff --git a/src/frontends/qt/GuiView.cpp b/src/frontends/qt/GuiView.cpp
index 79ffc0a2071f857e55c160fa5f1e07b870d4c4b9..5a5c1dac8d8026f33d73120eed6d3405125e1a96 100644 (file)
--- a/src/frontends/qt/GuiView.cpp
+++ b/src/frontends/qt/GuiView.cpp
@@ -527,6 +527,7 @@ public:
        string last_export_format;
        string processing_format;
 
+       // Buffers that are being exported
        static QSet<Buffer const *> busyBuffers;
 
        unsigned int smallIconSize;
@@ -3451,6 +3452,12 @@ bool GuiView::exportBufferAs(Buffer & b, docstring const & iformat)
 }
 
 
+bool GuiView::isBufferBusy(Buffer const * b)
+{
+       return GuiViewPrivate::busyBuffers.contains(b);
+}
+
+
 bool GuiView::saveBuffer(Buffer & b)
 {
        return saveBuffer(b, FileName());
@@ -4227,6 +4234,8 @@ Buffer::ExportStatus GuiView::GuiViewPrivate::runAndDestroy(const T& func,
        // documents, starting from the master. so we must delete those.
        Buffer * mbuf = const_cast<Buffer *>(clone->masterBuffer());
        delete mbuf;
+       if (orig->needToRemoveBiblioTemps())
+               orig->removeBiblioTempFiles();
        busyBuffers.remove(orig);
        return status;
 }