urls_downloaded_cb({"token":"UI-related","urls":[{"url":"tutorials/ios/a-basic-media-player.html#the-video-view-controller","node_type":"p","page":"iOS tutorial 4: A basic media player","sections":["iOS tutorial 4: A basic media player","The Video View Controller"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/a-running-pipeline.html#the-view-controller","node_type":"p","page":"iOS tutorial 2: A running pipeline","sections":["iOS tutorial 2: A running pipeline","The View Controller"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/index.html#welcome-to-the-gstreamer-ios-tutorials","node_type":"ul","page":"iOS tutorials","sections":["iOS tutorials","Welcome to the GStreamer iOS tutorials"],"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"]}}]});