urls_downloaded_cb({"token":"realize","urls":[{"url":"frequently-asked-questions/dependencies.html#why-are-there-so-many-dependencies","node_type":"p","page":"Dependencies","sections":["Dependencies","Why are there so many dependencies?"],"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/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":"video/gstvideooverlay.html#two-basic-usage-scenarios","node_type":"p","page":"GstVideoOverlay","sections":["GstVideoOverlay","Two basic usage scenarios"],"context":{"gi-language":["default"]}}]});