export function historyPush()

in packages/ide-toolbox/src/routing/routing.ts [56:59]


export function historyPush(url: string) {
  window.history.replaceState({}, '', url);
  dispatchUrlChangeEvent(url);
}