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/BlockTreeWindow.py | |
| parent | b942affe9f36be114ac01bf3dd50e4ad663a2845 (diff) | |
grc: toggle visibility of report and block tree widgets
Diffstat (limited to 'grc/gui/BlockTreeWindow.py')
| -rw-r--r-- | grc/gui/BlockTreeWindow.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/grc/gui/BlockTreeWindow.py b/grc/gui/BlockTreeWindow.py index 9ea37c55e0..f4b35a5dca 100644 --- a/grc/gui/BlockTreeWindow.py +++ b/grc/gui/BlockTreeWindow.py @@ -226,6 +226,10 @@ class BlockTreeWindow(gtk.VBox): # manually trigger action... Actions.FIND_BLOCKS.activate() + elif event.state & gtk.gdk.CONTROL_MASK and event.keyval == gtk.keysyms.b: + # ugly... + Actions.TOGGLE_BLOCKTREE_WIDGET.activate() + else: return False # propagate event |