delete unneeded Menubar virtual interface.

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

diff --git a/src/frontends/qt4/GuiView.h b/src/frontends/qt4/GuiView.h
index 5eb2e32f68ec591ecff2ef97e9609838f579dc47..e4ab76331dc48fa160cc14215487bf905bafc56e 100644 (file)
--- a/src/frontends/qt4/GuiView.h
+++ b/src/frontends/qt4/GuiView.h
@@ -92,9 +92,6 @@ public Q_SLOTS:
        /// idle timeout
        void update_view_state_qt();
 
-       /// populate a toplevel menu and all its children on demand
-       void updateMenu(QAction *);
-
        void currentTabChanged(int index);
        void closeCurrentTab();