╭ changed ────────╮ │src/main_wasm.zig│ ╰─────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │74 // push input-driven in-page route changes into the browser url without │ │75 // adding history entries. real cross-page navigations go through _navigate. │ │76 const current_page = session.data.current_page; │ │77 - const should_push = if (last_pushed_page_maybe) |lp| !lp.eql(current_page) else true; │ │77 + // the not-found page keeps the url that named the missing page │ │78 + const should_push = current_page != .not_found and if (last_pushed_page_maybe) |lp| !lp.eql(current_page) else true;│ │79 if (should_push) { │ │80 last_pushed_page_maybe = current_page; │ │81 const url = try current_page.toUrl(&page_arena); │ ╰────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯