urls_downloaded_cb({"token":"synthetic","urls":[{"url":"additional/design/tracing.html#livegraphers","node_type":"ul","page":"Tracing","sections":["Tracing","live-graphers"],"context":{"gi-language":["default"]}},{"url":"gst-devtools/gst-validate-enums.html#GST_VALIDATE_SHOW_DEFAULT","node_type":"p","page":"GstValidate enums","sections":["Constants"],"context":{"gi-language":["c"]}},{"url":"gst-devtools/gst-validate-enums.html#GstValidateReportingDetails","node_type":"p","page":"GstValidate enums","sections":["Enumerations"],"context":{"gi-language":["c","javascript","python"]}},{"url":"gst-devtools/gst-validate-environment-variables.html#gstvalidate-environment-variables","node_type":"ul","page":"Environment variables","sections":["GstValidate Environment Variables"],"context":{"gi-language":["default"]}},{"url":"spandsp/spanplc.html#spanplc-page","node_type":"p","page":"spanplc","sections":["spanplc"],"context":{"gi-language":["default"]}},{"url":"tutorials/android/media-player.html#goal","node_type":"p","page":"Android tutorial 4: A basic media player","sections":["Android tutorial 4: A basic media player","Goal"],"context":{"gi-language":["default"]}},{"url":"tutorials/basic/multithreading-and-pad-availability.html#the-example-pipeline","node_type":"p","page":"Basic tutorial 7: Multithreading and Pad Availability","sections":["Basic tutorial 7: Multithreading and Pad Availability","Introduction","The example pipeline"],"context":{"gi-language":["default"]}},{"url":"tutorials/basic/multithreading-and-pad-availability.html#walkthrough","node_type":"p","page":"Basic tutorial 7: Multithreading and Pad Availability","sections":["Basic tutorial 7: Multithreading and Pad Availability","Walkthrough"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/a-basic-media-player.html#goal","node_type":"p","page":"iOS tutorial 4: A basic media player","sections":["iOS tutorial 4: A basic media player","Goal"],"context":{"gi-language":["default"]}}]});