diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2014-07-11 23:24:47 +0200 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-07-11 23:25:38 +0200 |
| commit | 9f4a4eae44cfbe146fd32b3015cd3b014673ed47 (patch) | |
| tree | 089317100416d30c0e3023bddf3f6ca6dbd42dcd /grc/gui/Bars.py | |
| parent | 02db08d26e992a0c9c90b382ce9809d39283a910 (diff) | |
grc: toogle action to disable auto-hiding port labels
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 11e35c992b..8dae0f6981 100644 --- a/grc/gui/Bars.py +++ b/grc/gui/Bars.py @@ -97,6 +97,9 @@ MENU_BAR_LIST = ( Actions.TOGGLE_SCROLL_LOCK, Actions.CLEAR_REPORTS, None, + Actions.TOGGLE_HIDE_DISABLED_BLOCKS, + Actions.TOGGLE_AUTO_HIDE_PORT_LABELS, + None, Actions.ERRORS_WINDOW_DISPLAY, Actions.FIND_BLOCKS, ]), |