urls_downloaded_cb({"token":"intricacies","urls":[{"url":"tutorials/basic/time-management.html#user-interface-refreshing","node_type":"p","page":"Basic tutorial 4: Time management","sections":["Basic tutorial 4: Time management","Walkthrough","User interface refreshing"],"context":{"gi-language":["default"]}}]});