urls_downloaded_cb({"token":"Numbers","urls":[{"url":"qroverlay/debugqroverlay.html#debugqroverlay:extra-data-span-buffers","node_type":"p","page":"debugqroverlay","sections":["Properties"],"context":{"gi-language":["default"]}},{"url":"tutorials/basic/time-management.html#walkthrough","node_type":"p","page":"Basic tutorial 4: Time management","sections":["Basic tutorial 4: Time management","Walkthrough"],"context":{"gi-language":["default"]}}]});