urls_downloaded_cb({"token":"tune","urls":[{"url":"dvbbasebin.html#dvbbasebin::tune","node_type":"symbol","context":{"gi-language":["default"]}},{"url":"dvbbasebin.html#dvbbasebin::tuning-start","node_type":"p","context":{"gi-language":["default"]}},{"url":"dvbbasebin.html#dvbbasebin:frequency","node_type":"p","context":{"gi-language":["default"]}},{"url":"dvbsrc.html#dvbsrc::tune","node_type":"symbol","context":{"gi-language":["default"]}},{"url":"dvbsrc.html#dvbsrc::tuning-start","node_type":"p","context":{"gi-language":["default"]}},{"url":"dvbsrc.html#dvbsrc:frequency","node_type":"p","context":{"gi-language":["default"]}},{"url":"dvbsrc.html#dvbsrc:tune","node_type":"symbol","context":{"gi-language":["default"]}}]});