gnuradio/gnuradio — pull request #110 by skoslowski (2013-11-22 14:25:08+00:00)
Title: grc: toggle visibility of report and block tree widgets

This enable people to hide the block tree and reports widgets. Useful when working on a small screen or for demos.
The settings are not permanent for now. Can be added if it is deemed useful.

Also, this fixes another issue with the search entry focus, I have come across coding this