urls_downloaded_cb({"token":"tuning-done","urls":[{"url":"dvb/dvbbasebin.html#dvbbasebin::tuning-done","node_type":"symbol","page":"dvbbasebin","sections":["Signals"],"context":{"gi-language":["default"]}},{"url":"dvb/dvbsrc.html#dvbsrc::tuning-done","node_type":"symbol","page":"dvbsrc","sections":["Signals"],"context":{"gi-language":["default"]}}]});