urls_downloaded_cb({"token":"device-name","urls":[{"url":"pulsesink.html#pulsesink:device-name","node_type":"symbol","page":"pulsesink","sections":["Properties"],"context":{"gi-language":["default"]}},{"url":"pulsesrc.html#pulsesrc:device-name","node_type":"symbol","page":"pulsesrc","sections":["Properties"],"context":{"gi-language":["default"]}}]});