urls_downloaded_cb({"token":"re-queried","urls":[{"url":"tutorials/android/media-player.html#supporting-arbitrary-media-uris1","node_type":"p","page":"Android tutorial 4: A basic media player","sections":["Android tutorial 4: A basic media player","A basic media player [C code]","Supporting arbitrary media URIs"],"context":{"gi-language":["default"]}},{"url":"tutorials/basic/time-management.html#message-pump","node_type":"p","page":"Basic tutorial 4: Time management","sections":["Basic tutorial 4: Time management","Walkthrough","Message Pump"],"context":{"gi-language":["default"]}},{"url":"video/gstnavigation.html#GstNavigationMessageType","node_type":"p","page":"GstNavigation","sections":["Enumerations"],"context":{"gi-language":["c","javascript","python"]}}]});