new preferences

[debian/gnuradio] / grc / src / gui / Bars.py

diff --git a/grc/src/gui/Bars.py b/grc/src/gui/Bars.py
index 1416d4dd54b64f0ae7fc79088211d525755de169..c89aea580919b9afecb68df5c072ede9398e9ba3 100644 (file)
--- a/grc/src/gui/Bars.py
+++ b/grc/src/gui/Bars.py
@@ -86,9 +86,6 @@ MENU_BAR_LIST = (
                Actions.FLOW_GRAPH_EXEC,
                Actions.FLOW_GRAPH_KILL,
        ]),
-       (gtk.Action('Options', '_Options', None, None), [
-               Actions.PREFS_WINDOW_DISPLAY,
-       ]),
        (gtk.Action('Help', '_Help', None, None), [
                Actions.ABOUT_WINDOW_DISPLAY,
        ]),