// the error is already handled by router.push we just want to avoid
// logging the error
pushWithRedirect(
- // TODO: should we force replace: true
(error as NavigationRedirectError).to,
toLocation
// avoid an uncaught rejection, let push call triggerError
*/
force?: boolean
/**
- * State to save using the History API. This cannot contain any reactive values and some primitives like Symbols are forbidden. More info at TODO: link mdn
+ * State to save using the History API. This cannot contain any reactive
+ * values and some primitives like Symbols are forbidden. More info at
+ * https://developer.mozilla.org/en-US/docs/Web/API/History/state
*/
state?: HistoryState
}