[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Commit-gnuradio] [gnuradio] 02/07: grc: renaming 'Build' menu to 'Run'
|
From: |
git |
|
Subject: |
[Commit-gnuradio] [gnuradio] 02/07: grc: renaming 'Build' menu to 'Run' |
|
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 506c982a02d1cd2d68e1169db3175b5639f0a2b6
Author: Sebastian Koslowski <address@hidden>
Date: Fri Aug 15 18:32:20 2014 +0200
grc: renaming 'Build' menu to 'Run'
Suggested by Mike Ossmann
---
grc/gui/Bars.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/grc/gui/Bars.py b/grc/gui/Bars.py
index 8dae0f6..c3a2839 100644
--- a/grc/gui/Bars.py
+++ b/grc/gui/Bars.py
@@ -103,7 +103,7 @@ MENU_BAR_LIST = (
Actions.ERRORS_WINDOW_DISPLAY,
Actions.FIND_BLOCKS,
]),
- (gtk.Action('Build', '_Build', None, None), [
+ (gtk.Action('Run', '_Run', None, None), [
Actions.FLOW_GRAPH_GEN,
Actions.FLOW_GRAPH_EXEC,
Actions.FLOW_GRAPH_KILL,
- [Commit-gnuradio] [gnuradio] branch master updated (d93d30f -> f5cb616), git, 2014/08/17
- [Commit-gnuradio] [gnuradio] 07/07: Merge branch 'maint', git, 2014/08/17
- [Commit-gnuradio] [gnuradio] 01/07: grc: switch execute action icon to media_play, git, 2014/08/17
- [Commit-gnuradio] [gnuradio] 06/07: Merge remote-tracking branch 'gnuradio-wg-grc/grc_rename_build_menu', git, 2014/08/17
- [Commit-gnuradio] [gnuradio] 05/07: Merge remote-tracking branch 'skoslowski/grc_exec_icon', git, 2014/08/17
- [Commit-gnuradio] [gnuradio] 03/07: cmake: make sure our local CMake Modules path comes first., git, 2014/08/17
- [Commit-gnuradio] [gnuradio] 04/07: cmake: fix FindUHD.cmake to first check to see if UHD installed its own version of FindUHD, and if so use it; if not, revert to current behavior., git, 2014/08/17
- [Commit-gnuradio] [gnuradio] 02/07: grc: renaming 'Build' menu to 'Run',
git <=