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/Actions.py | |
| parent | 02db08d26e992a0c9c90b382ce9809d39283a910 (diff) | |
grc: toogle action to disable auto-hiding port labels
Diffstat (limited to 'grc/gui/Actions.py')
| -rw-r--r-- | grc/gui/Actions.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/grc/gui/Actions.py b/grc/gui/Actions.py index 3aa9e61472..3ead795e33 100644 --- a/grc/gui/Actions.py +++ b/grc/gui/Actions.py @@ -242,6 +242,10 @@ TOGGLE_HIDE_DISABLED_BLOCKS = ToggleAction( stock_id=gtk.STOCK_MISSING_IMAGE, keypresses=(gtk.keysyms.d, gtk.gdk.CONTROL_MASK), ) +TOGGLE_AUTO_HIDE_PORT_LABELS = ToggleAction( + label='Auto-hide port _labels', + tooltip='Automatically hide port labels', +) BLOCK_CREATE_HIER = Action( label='C_reate Hier', tooltip='Create hier block from selected blocks', |