code-editor/shared/navigation.ts

export function navigateTo(url: string) {
    window.history.pushState("", "", url);
}