urls_downloaded_cb({"token":"refresh_ui","urls":[{"url":"tutorials/android/media-player.html#refreshing-the-seek-bar1","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]","Refreshing the Seek Bar"],"context":{"gi-language":["default"]}},{"url":"tutorials/basic/toolkit-integration.html#walkthrough","node_type":"p","page":"Basic tutorial 5: GUI toolkit integration","sections":["Basic tutorial 5: GUI toolkit integration","Walkthrough"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/a-basic-media-player.html#refreshing-the-seek-bar","node_type":"p","page":"iOS tutorial 4: A basic media player","sections":["iOS tutorial 4: A basic media player","The GStreamer Backend","Refreshing the Seek Bar"],"context":{"gi-language":["default"]}},{"url":"tutorials/playback/progressive-streaming.html#user-interface","node_type":"p","page":"Playback tutorial 4: Progressive streaming","sections":["Playback tutorial 4: Progressive streaming","Walkthrough","User Interface"],"context":{"gi-language":["default"]}}]});