urls_downloaded_cb({"token":"indexing","urls":[{"url":"tutorials/android/media-player.html#seek-throttling","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]","Seeking with the Seek Bar","Seek throttling"],"context":{"gi-language":["default"]}},{"url":"tutorials/basic/time-management.html#user-interface-refreshing","node_type":"p","page":"Basic tutorial 4: Time management","sections":["Basic tutorial 4: Time management","Walkthrough","User interface refreshing"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/a-basic-media-player.html#seek-throttling","node_type":"p","page":"iOS tutorial 4: A basic media player","sections":["iOS tutorial 4: A basic media player","The GStreamer Backend","Seeking with the Seek Bar","Seek throttling"],"context":{"gi-language":["default"]}}]});