tree a5beb9ee5cbf545e8039f9973045cf6f21e8ff8e
parent 3c3703b0b7042ebb4f48a73bf48648358ef7cf07
author Ben Rohlfs <brohlfs@google.com> 1674046594 +0000
committer Ben Rohlfs <brohlfs@google.com> 1674048885 +0100

Revert "Use router to set url instead of href"

This reverts commit 8a8f02c927fd221a4dc02e6d3adf9b0e06b64309.

Reason for revert: We prefer normal links and are fixing the issue
with the full page reload in a different way: For button clicks we
will only handle direct clicks on its element, not its children.
`stopPropagation` for `<a>` was causing issue, because then the
top-level page.js click handler would not pick up the click. It
normally intercepts `<a>` clicks and thus prevents full page
reloads

Release-Notes: skip
Change-Id: I4061868a0bd3a3d270a5a095c97a9bff7c840b9f