urls_downloaded_cb({"token":"addresses","urls":[{"url":"application-development/index.html#structure-of-this-manual","node_type":"p","context":{"gi-language":["default"]}},{"url":"plugin-development/introduction/index.html#introduction","node_type":"p","context":{"gi-language":["default"]}},{"url":"plugin-development/introduction/preface.html#structure-of-this-guide","node_type":"p","context":{"gi-language":["default"]}},{"url":"tutorials/ios/a-complete-media-player.html#selecting-the-media-to-play","node_type":"p","context":{"gi-language":["default"]}}]});