urls_downloaded_cb({"token":"ctrl","urls":[{"url":"tutorials/basic/gstreamer-tools.html#elements","node_type":"p","page":"Basic tutorial 10: GStreamer tools","sections":["Basic tutorial 10: GStreamer tools","gst-launch-1.0","Elements"],"context":{"gi-language":["default"]}}]});