diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2014-03-29 20:19:59 +0100 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-04-08 16:12:10 +0200 |
| commit | ab10b5bc162abc0e83abf13f7c754baff6b606c1 (patch) | |
| tree | 09e97ca9a302641730da7ca9abdf31ee4abfc88c /grc/gui/Actions.py | |
| parent | cd06fdc9372bb2489cc7a455b75cef445343296d (diff) | |
grc: option to hide disabled blocks
Diffstat (limited to 'grc/gui/Actions.py')
| -rw-r--r-- | grc/gui/Actions.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/grc/gui/Actions.py b/grc/gui/Actions.py index 284c78f8fc..afbeb97612 100644 --- a/grc/gui/Actions.py +++ b/grc/gui/Actions.py @@ -236,6 +236,12 @@ BLOCK_DISABLE = Action( stock_id=gtk.STOCK_DISCONNECT, keypresses=(gtk.keysyms.d, NO_MODS_MASK), ) +TOGGLE_HIDE_DISABLED_BLOCKS = ToggleAction( + label='Hide _disabled blocks', + tooltip='Toggle visibility of disabled blocks and connections', + stock_id=gtk.STOCK_MISSING_IMAGE, + keypresses=(gtk.keysyms.d, gtk.gdk.CONTROL_MASK), +) BLOCK_CREATE_HIER = Action( label='C_reate Hier', tooltip='Create hier block from selected blocks', |