urls_downloaded_cb({"token":"Deciding","urls":[{"url":"additional/design/scheduling.html#deciding-the-scheduling-mode","node_type":"h2","page":"Scheduling","sections":["Scheduling","Deciding the scheduling mode"],"context":{"gi-language":["default"]}}]});