Navigation: Add optimization to ignore duplicate navigations

[llannasatoll]

This change adds an optimization to the navigate algorithm to ignore duplicate navigations.

As proposed in #11743, this prevents an ongoing navigation from being unnecessarily canceled by a new, identical navigation that is initiated in quick succession (e.g., from an accidental double-click).

• At least two implementers are interested (and none opposed):
  • Chromium (#11743)
  • …
• Tests are written and can be reviewed and commented upon at:
  • …
• Implementation bugs are filed:
  • Chromium: https://crbug.com/366060351
  • Gecko: …
  • WebKit: …
  • Deno (only for timers, structured clone, base64 utils, channel messaging, module resolution, web workers, and web storage): …
  • Node.js (only for timers, structured clone, base64 utils, channel messaging, and module resolution): …
• Corresponding HTML AAM & ARIA in HTML issues & PRs:
• MDN issue is filed: …
• The top of this comment includes a clear commit message to use.

---

/browsing-the-web.html ( diff )