Attempt to fix bug #13017.

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

diff --git a/src/frontends/qt/GuiView.h b/src/frontends/qt/GuiView.h
index d55472d2670978c5ee29cbe2577555168469c027..42bc1878c5fecf6a17c58d95f792844aadcbc526 100644 (file)
--- a/src/frontends/qt/GuiView.h
+++ b/src/frontends/qt/GuiView.h
@@ -220,6 +220,8 @@ public:
 
        /// Current ratio between physical pixels and device-independent pixels
        double pixelRatio() const;
+       ///
+       static bool isBufferBusy(Buffer const * b);
 
 Q_SIGNALS:
        void closing(int);