╭ changed ──────────╮ │src/embed/script.js│ ╰───────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭─────────────────────────────────────────────────────────────────────────────────╮ │ 90 const target = overlay.querySelector(`[data-focus-id="${id}"]`);│ │ 91 if (target && document.activeElement !== target) target.focus();│ │ 92 }, │ │ 93 + _navigate: function (ptr, len) { │ │ 94 + // a real browser navigation to another top-level page (the wasm│ │ 95 + // can't render it client-side without server data). │ │ 96 + window.location.assign(readWasmString(ptr, len)); │ │ 97 + }, │ │ 98 }, │ │ 99 }; │ │100 │ ╰─────────────────────────────────────────────────────────────────────────────────╯