[Commit-gnuradio] [gnuradio] 08/13: Merge remote-tracking branch 'gnuradio-wg-grc/grc_hide_disabled_blocks'

[git]

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

jcorgan pushed a commit to branch master
in repository gnuradio.

commit 8be0efd4fb448489e74de562cfb07cc7f6610a19
Merge: 76970d5 ab10b5b
Author: Johnathan Corgan <address@hidden>
Date:   Tue Apr 15 15:38:00 2014 -0700

    Merge remote-tracking branch 'gnuradio-wg-grc/grc_hide_disabled_blocks'

 grc/gui/ActionHandler.py |  4 +++-
 grc/gui/Actions.py       |  6 ++++++
 grc/gui/Bars.py          |  1 +
 grc/gui/FlowGraph.py     | 11 ++++++++++-
 4 files changed, 20 insertions(+), 2 deletions(-)