urls_downloaded_cb({"token":"setposition","urls":[{"url":"tutorials/ios/a-basic-media-player.html#delayed-seeks","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","Delayed seeks"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/a-basic-media-player.html#seeking-with-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","Seeking with the Seek Bar"],"context":{"gi-language":["default"]}}]});