urls_downloaded_cb({"token":"jump","urls":[{"url":"additional/design/overview.html#dataflow-and-events","node_type":"p","page":"Overview","sections":["Overview","Dataflow and events"],"context":{"gi-language":["default"]}},{"url":"gst-editing-services/gesbaseeffect.html#time-effects","node_type":"ul","page":"GESBaseEffect","sections":["GESBaseEffect","Time Effects"],"context":{"gi-language":["default"]}},{"url":"installing/building-from-source-using-meson.html#options-gstenv","node_type":"ul","page":"Building from source using Meson","sections":["Building from source using Meson","Entering the development environment","Options gst-env\n"],"context":{"gi-language":["default"]}},{"url":"nle/nleoperation.html#time-effects","node_type":"ul","page":"nleoperation","sections":["nleoperation","Time Effects"],"context":{"gi-language":["default"]}},{"url":"plugin-development/advanced/media-types.html#list-of-defined-types","node_type":"p","page":"Media Types and Properties","sections":["Media Types and Properties","List of Defined Types"],"context":{"gi-language":["default"]}},{"url":"tutorials/android/media-player.html#introduction","node_type":"p","page":"Android tutorial 4: A basic media player","sections":["Android tutorial 4: A basic media player","Introduction"],"context":{"gi-language":["default"]}},{"url":"tutorials/android/media-player.html#seek-throttling","node_type":"p","page":"Android tutorial 4: A basic media player","sections":["Android tutorial 4: A basic media player","A basic media player [C code]","Seeking with the Seek Bar","Seek throttling"],"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/android/media-player.html#seeking-with-the-seek-bar1","node_type":"p","page":"Android tutorial 4: A basic media player","sections":["Android tutorial 4: A basic media player","A basic media player [C code]","Seeking with the Seek Bar"],"context":{"gi-language":["default"]}},{"url":"tutorials/basic/playback-speed.html#walkthrough","node_type":"p","page":"Basic tutorial 13: Playback speed","sections":["Basic tutorial 13: Playback speed","Walkthrough"],"context":{"gi-language":["default"]}},{"url":"tutorials/basic/time-management.html#goal","node_type":"ul","page":"Basic tutorial 4: Time management","sections":["Basic tutorial 4: Time management","Goal"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/a-basic-media-player.html#introduction","node_type":"p","page":"iOS tutorial 4: A basic media player","sections":["iOS tutorial 4: A basic media player","Introduction"],"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"]}},{"url":"tutorials/ios/a-basic-media-player.html#seek-throttling","node_type":"p","page":"iOS tutorial 4: A basic media player","sections":["iOS tutorial 4: A basic media player","The GStreamer Backend","Seeking with the Seek Bar","Seek throttling"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/a-basic-media-player.html#seeking-with-the-seek-bar","node_type":"p","page":"iOS tutorial 4: A basic media player","sections":["iOS tutorial 4: A basic media player","The GStreamer Backend","Seeking with the Seek Bar"],"context":{"gi-language":["default"]}},{"url":"tutorials/playback/progressive-streaming.html#introduction","node_type":"p","page":"Playback tutorial 4: Progressive streaming","sections":["Playback tutorial 4: Progressive streaming","Introduction"],"context":{"gi-language":["default"]}}]});