urls_downloaded_cb({"token":"instructing","urls":[{"url":"dvb/dvbbasebin.html#dvbbasebin::tune","node_type":"p","page":"dvbbasebin","sections":["Action Signals"],"context":{"gi-language":["default"]}},{"url":"dvb/dvbsrc.html#dvbsrc::tune","node_type":"p","page":"dvbsrc","sections":["Action Signals"],"context":{"gi-language":["default"]}},{"url":"tutorials/basic/toolkit-integration.html#goal","node_type":"p","page":"Basic tutorial 5: GUI toolkit integration","sections":["Basic tutorial 5: GUI toolkit integration","Goal"],"context":{"gi-language":["default"]}}]});