diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2014-08-15 15:14:28 +0200 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-08-15 15:14:28 +0200 |
| commit | c74f553006cba44ba9f649424c8df50c78531ff0 (patch) | |
| tree | b05ae8c85c0bd3301e4ba15139aa7f7c1104a0de /grc/gui/Actions.py | |
| parent | 842d8c9d9aac5f7a48a78a9d6babc865570b81c8 (diff) | |
grc: switch execute action icon to media_play
Diffstat (limited to 'grc/gui/Actions.py')
| -rw-r--r-- | grc/gui/Actions.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/grc/gui/Actions.py b/grc/gui/Actions.py index 484952b53a..cbd41332ab 100644 --- a/grc/gui/Actions.py +++ b/grc/gui/Actions.py @@ -314,7 +314,7 @@ FLOW_GRAPH_GEN = Action( FLOW_GRAPH_EXEC = Action( label='_Execute', tooltip='Execute the flow graph', - stock_id=gtk.STOCK_EXECUTE, + stock_id=gtk.STOCK_MEDIA_PLAY, keypresses=(gtk.keysyms.F6, NO_MODS_MASK), ) FLOW_GRAPH_KILL = Action( |