urls_downloaded_cb({"token":"NSString","urls":[{"url":"tutorials/ios/a-basic-media-player.html#the-gstreamer-backend","node_type":"p","page":"iOS tutorial 4: A basic media player","sections":["iOS tutorial 4: A basic media player","The GStreamer Backend"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/a-running-pipeline.html#private-methods","node_type":"p","page":"iOS tutorial 2: A running pipeline","sections":["iOS tutorial 2: A running pipeline","The GStreamer Backend","Private methods:"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/link-against-gstreamer.html#the-gstreamer-backend","node_type":"p","page":"iOS tutorial 1: Link against GStreamer","sections":["iOS tutorial 1: Link against GStreamer","The GStreamer backend"],"context":{"gi-language":["default"]}}]});