Use DispatchResult also in GuiView::dispatchVC to handle messages.

[features.git] / src / frontends / qt4 / GuiView.h

diff --git a/src/frontends/qt4/GuiView.h b/src/frontends/qt4/GuiView.h
index f1612b99d7e4390c072846bd101801ec26e306f4..deb1e24a72ae4335b5bd85e9b6a0cd20ce59ecf7 100644 (file)
--- a/src/frontends/qt4/GuiView.h
+++ b/src/frontends/qt4/GuiView.h
@@ -398,9 +398,9 @@ private:
        ///
        Dialog * build(std::string const & name);
        ///
-       void reloadBuffer();
+       bool reloadBuffer();
        ///
-       void dispatchVC(FuncRequest const & cmd);
+       void dispatchVC(FuncRequest const & cmd, DispatchResult & dr);
        ///
        void showMessage();