commit-gnuradio
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Commit-gnuradio] [gnuradio] 01/07: grc: switch execute action icon to m


From: git
Subject: [Commit-gnuradio] [gnuradio] 01/07: grc: switch execute action icon to media_play
Date: Sun, 17 Aug 2014 22:03:11 +0000 (UTC)

This is an automated email from the git hooks/post-receive script.

jcorgan pushed a commit to branch master
in repository gnuradio.

commit c74f553006cba44ba9f649424c8df50c78531ff0
Author: Sebastian Koslowski <address@hidden>
Date:   Fri Aug 15 15:14:28 2014 +0200

    grc: switch execute action icon to media_play
---
 grc/gui/Actions.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/grc/gui/Actions.py b/grc/gui/Actions.py
index 484952b..cbd4133 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(



reply via email to

[Prev in Thread] Current Thread [Next in Thread]