function dispatchUrlChangeEvent()

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);
}