in packages/ide-toolbox/src/routing/routing.ts [61:67]
function dispatchUrlChangeEvent(url: string) { const urlChangeEvent = new CustomEvent(URL_CHANGE_EVENT, { bubbles: true, detail: url, }); window.dispatchEvent(urlChangeEvent); }