Make sure the current view is set to busy in order to avoid a crash due to a screen...

[features.git] / src / frontends / qt4 / GuiApplication.cpp

diff --git a/src/frontends/qt4/GuiApplication.cpp b/src/frontends/qt4/GuiApplication.cpp
index cedf1b2822a91f865fc6a5b5f3e939c4e648f1ad..4656e63a69f5855ce8593e043a099075055a19ab 100644 (file)
--- a/src/frontends/qt4/GuiApplication.cpp
+++ b/src/frontends/qt4/GuiApplication.cpp
@@ -1617,6 +1617,10 @@ void GuiApplication::dispatch(FuncRequest const & cmd, DispatchResult & dr)
                BufferView * bv = current_view_->currentBufferView();
                LASSERT(bv, /**/);
        
+               // Avoid a screen redraw in the middle of a dispatch operation just
+               // because a warning or an error was displayed.
+               current_view_->setBusy(true);
+
                // Let the current BufferView dispatch its own actions.
                bv->dispatch(cmd, dr);
                if (dr.dispatched())
@@ -1673,6 +1677,8 @@ void GuiApplication::dispatch(FuncRequest const & cmd, DispatchResult & dr)
                }
        
                dr = bv->cursor().result();
+
+               current_view_->setBusy(false);
        }
        
        // if we executed a mutating lfun, mark the buffer as dirty