urls_downloaded_cb({"token":"extra-data-interval-buffers","urls":[{"url":"qroverlay/debugqroverlay.html#debugqroverlay:extra-data-interval-buffers","node_type":"symbol","page":"debugqroverlay","sections":["Properties"],"context":{"gi-language":["default"]}}]});