gnuradio/gnuradio — pull request #97 by skoslowski (2013-10-30 13:14:06+00:00)
Title: grc: slash key also activates search

This allows to use the 'slash' key to start a search (in addition to the existing key binding).