Don't try to show the status message if we are busy.

Intended to fix #8523.

diff --git a/src/frontends/qt4/GuiView.cpp b/src/frontends/qt4/GuiView.cpp
index bb8da339d45400cd56726ea2c491609f958ed3af..5983aa199d9e1b35b4daf4a419df008af1ab984c 100644 (file)
--- a/src/frontends/qt4/GuiView.cpp
+++ b/src/frontends/qt4/GuiView.cpp
@@ -1064,6 +1064,8 @@ void GuiView::updateStatusBar()
 
 void GuiView::showMessage()
 {
+       if (busy_)
+               return;
        QString msg = toqstr(theGuiApp()->viewStatusMessage());
        if (msg.isEmpty()) {
                BufferView const * bv = currentBufferView();