urls_downloaded_cb({"token":"storyboard","urls":[{"url":"tutorials/ios/a-basic-media-player.html#refreshing-the-time-slider","node_type":"p","page":"iOS tutorial 4: A basic media player","sections":["iOS tutorial 4: A basic media player","The Video View Controller","Refreshing the Time Slider"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/video.html#eagluiview","node_type":"p","page":"iOS tutorial 3: Video","sections":["iOS tutorial 3: Video","EaglUIView"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/video.html#introduction","node_type":"p","page":"iOS tutorial 3: Video","sections":["iOS tutorial 3: Video","Introduction"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/video.html#the-user-interface","node_type":"p","page":"iOS tutorial 3: Video","sections":["iOS tutorial 3: Video","The User Interface"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/video.html#the-view-controller","node_type":"p","page":"iOS tutorial 3: Video","sections":["iOS tutorial 3: Video","The View Controller"],"context":{"gi-language":["default"]}}]});