better fix for selected ports, added variable config example to examples
[debian/gnuradio] / grc / gui / Platform.py
2009-06-23 jblumMerging r11186:11273 from grc branch.