diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2013-11-22 21:34:47 +0100 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2013-11-22 21:41:37 +0100 |
| commit | a00b94ec4a9949125ddb1711abf49d4d575d290d (patch) | |
| tree | 1be987455cea8bc2fa78c02576d28d051813fc60 /grc/gui/Bars.py | |
| parent | b942affe9f36be114ac01bf3dd50e4ad663a2845 (diff) | |
grc: toggle visibility of report and block tree widgets
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 92d87c8809..6c72b04eca 100644 --- a/grc/gui/Bars.py +++ b/grc/gui/Bars.py @@ -88,7 +88,10 @@ MENU_BAR_LIST = ( Actions.BLOCK_PARAM_MODIFY, ]), (gtk.Action('View', '_View', None, None), [ + Actions.TOGGLE_BLOCKTREE_WIDGET, + Actions.TOGGLE_REPORT_WIDGET, Actions.ERRORS_WINDOW_DISPLAY, + None, Actions.FIND_BLOCKS, ]), (gtk.Action('Build', '_Build', None, None), [ |