diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2014-03-15 17:07:09 +0100 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-04-16 11:00:46 +0200 |
| commit | 586d5494ab8914df9d6f2b1bfac04573c705a217 (patch) | |
| tree | 8f57cf31aedb1d4c88aa367b924f37b1c2190e7e /grc/gui/Bars.py | |
| parent | 24b9e5bee104769db1bef04feda0c6fd07a3bc29 (diff) | |
grc: new tools menu to execute gr_filter_design
Diffstat (limited to 'grc/gui/Bars.py')
| -rw-r--r-- | grc/gui/Bars.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/grc/gui/Bars.py b/grc/gui/Bars.py index ef8feb0a0..ce72edeea 100644 --- a/grc/gui/Bars.py +++ b/grc/gui/Bars.py @@ -101,6 +101,9 @@ MENU_BAR_LIST = ( Actions.FLOW_GRAPH_EXEC, Actions.FLOW_GRAPH_KILL, ]), + (gtk.Action('Tools', '_Tools', None, None), [ + Actions.TOOLS_RUN_FDESIGN, + ]), (gtk.Action('Help', '_Help', None, None), [ Actions.HELP_WINDOW_DISPLAY, Actions.TYPES_WINDOW_DISPLAY, |