urls_downloaded_cb({"token":"jumping","urls":[{"url":"tutorials/android/index.html#welcome-to-the-gstreamer-android-tutorials","node_type":"p","page":"Android tutorials","sections":["Android tutorials","Welcome to the GStreamer Android tutorials"],"context":{"gi-language":["default"]}},{"url":"tutorials/basic/playback-speed.html#introduction","node_type":"p","page":"Basic tutorial 13: Playback speed","sections":["Basic tutorial 13: Playback speed","Introduction"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/index.html#welcome-to-the-gstreamer-ios-tutorials","node_type":"p","page":"iOS tutorials","sections":["iOS tutorials","Welcome to the GStreamer iOS tutorials"],"context":{"gi-language":["default"]}}]});