urls_downloaded_cb({"token":"textual","urls":[{"url":"additional/design/controller.html#todo","node_type":"ul","page":"Controller","sections":["Controller","TODO"],"context":{"gi-language":["default"]}},{"url":"gstreamer/gstpreset.html#GstPresetInterface::get_meta","node_type":"p","page":"GstPreset","sections":["Virtual Methods"],"context":{"gi-language":["c","javascript","python"]}},{"url":"gstreamer/gstpreset.html#GstPresetInterface::set_meta","node_type":"p","page":"GstPreset","sections":["Virtual Methods"],"context":{"gi-language":["c","javascript","python"]}},{"url":"playback/subtitleoverlay.html#subtitleoverlay-page","node_type":"p","page":"subtitleoverlay","sections":["subtitleoverlay"],"context":{"gi-language":["default"]}},{"url":"tutorials/android/media-player.html#refreshing-the-seek-bar","node_type":"p","page":"Android tutorial 4: A basic media player","sections":["Android tutorial 4: A basic media player","A basic media player [Java code]","Refreshing the Seek Bar"],"context":{"gi-language":["default"]}},{"url":"tutorials/android/media-player.html#seeking-with-the-seek-bar","node_type":"p","page":"Android tutorial 4: A basic media player","sections":["Android tutorial 4: A basic media player","A basic media player [Java code]","Seeking with the Seek Bar"],"context":{"gi-language":["default"]}},{"url":"tutorials/basic/gstreamer-tools.html#gstlaunch10","node_type":"p","page":"Basic tutorial 10: GStreamer tools","sections":["Basic tutorial 10: GStreamer tools","gst-launch-1.0"],"context":{"gi-language":["default"]}},{"url":"tutorials/basic/hello-world.html#conclusion","node_type":"ul","page":"Basic tutorial 1: Hello world!","sections":["Basic tutorial 1: Hello world!","Conclusion"],"context":{"gi-language":["default"]}},{"url":"tutorials/basic/hello-world.html#gst_parse_launch","node_type":"p","page":"Basic tutorial 1: Hello world!","sections":["Basic tutorial 1: Hello world!","Walkthrough","gst_parse_launch"],"context":{"gi-language":["default"]}},{"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"]}}]});