-function handleClick() {
- window.history.pushState([], '', page + '.html');
- refresh_page();
-}
+ function handleClick() {
+ refresh_page(page, new URLSearchParams(params_hash));
+ }
+
+ $: {
+ let param_str = new URLSearchParams(params_hash).toString();
+ href = page + '.html' + (param_str ? '?' : '') + param_str;
+ }