{ push: (path: string) => void }
The path to redirect to.
It scrolls to the element with the given id, and if the event is not null, it prevents the default action of the event
This is the history object from React Router.
The id of the element to scroll to
Generated using TypeDoc version 0.22.15, the 4/20/2022
Prevent the default event and redirect to a new path, but only if it's different from the current path.