Extend list of accessible menu info

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

diff --git a/src/frontends/qt4/GuiApplication.h b/src/frontends/qt4/GuiApplication.h
index fafdd46eea25478b49b6fd8f598e9e3c7db0f601..bc16fabdcea4be7cc8f866ae65cfbd75eba4e260 100644 (file)
--- a/src/frontends/qt4/GuiApplication.h
+++ b/src/frontends/qt4/GuiApplication.h
@@ -76,6 +76,7 @@ public:
        void registerSocketCallback(int fd, SocketCallback func);
        void unregisterSocketCallback(int fd);
        bool searchMenu(FuncRequest const & func, docstring_list & names) const;
+       bool hasBufferView() const;
        void handleKeyFunc(FuncCode action);
        bool unhide(Buffer * buf); //override
        //@}