diff --git a/src/Playground.js b/src/Playground.js index 0297dcaf8..6a7e8655c 100644 --- a/src/Playground.js +++ b/src/Playground.js @@ -1543,7 +1543,9 @@ function Playground$ControlPanel(Props) { return acc + ("&" + (key + ("=" + value))); } })); - return window.location.origin + (router.route + querystring); + var url = window.location.origin + (router.route + querystring); + Next.Router.replace(router, url); + return url; }; children = React.createElement(React.Fragment, undefined, React.createElement("div", { className: "mr-2" @@ -1824,12 +1826,6 @@ function Playground$default(Props) { } } - React.useEffect((function () { - if (router.asPath !== "/try") { - Next.Router.replace(router, "/try"); - } - - }), [router.route]); var match$2 = React.useState(function () { return 0; }); diff --git a/src/Playground.res b/src/Playground.res index 6a4bfe6e1..e72ca5a26 100644 --- a/src/Playground.res +++ b/src/Playground.res @@ -1177,7 +1177,7 @@ module ControlPanel = { } } - @bs.val @bs.scope("window.location") external origin: string = "origin" + @bs.val @bs.scope(("window", "location")) external origin: string = "origin" @react.component let make = ( ~actionIndicatorKey: string, @@ -1217,7 +1217,9 @@ module ControlPanel = { } }) - origin ++ (router.route ++ querystring) + let url = origin ++ (router.route ++ querystring) + Next.Router.replace(router, url) + url } <>