Fix bug #9004.

I'm not entirely happy with this way of doing it. It seems messy.
But there is not another clear option right now.

diff --git a/src/frontends/qt4/GuiView.cpp b/src/frontends/qt4/GuiView.cpp
index d1991aa08b22bffde1aaf3e68d8cf74d29349fde..2fb58deb846396b7290995b27a55e0e6e877e5ef 100644 (file)
--- a/src/frontends/qt4/GuiView.cpp
+++ b/src/frontends/qt4/GuiView.cpp
@@ -3709,15 +3709,21 @@ void GuiView::dispatchToBufferView(FuncRequest const & cmd, DispatchResult & dr)
 
        // Let the current BufferView dispatch its own actions.
        bv->dispatch(cmd, dr);
-       if (dr.dispatched())
+       if (dr.dispatched()) {
+               if (cmd.action() == LFUN_REDO || cmd.action() == LFUN_UNDO)
+                       updateDialog("document", "");
                return;
+       }
 
        // Try with the document BufferView dispatch if any.
        BufferView * doc_bv = documentBufferView();
        if (doc_bv && doc_bv != bv) {
                doc_bv->dispatch(cmd, dr);
-               if (dr.dispatched())
+               if (dr.dispatched()) {
+                       if (cmd.action() == LFUN_REDO || cmd.action() == LFUN_UNDO)
+                               updateDialog("document", "");
                        return;
+               }
        }
 
        // Then let the current Cursor dispatch its own actions.