diff options
| author | user <user@node5.net> | 2024-05-20 22:30:05 +0200 |
|---|---|---|
| committer | user <user@node5.net> | 2024-05-20 22:30:05 +0200 |
| commit | beab783225064fee9532998490dbb81cbd8f7678 (patch) | |
| tree | 340d8ad9b26b18aace4c80682f6d2eefedc0a305 /src/static/main.js | |
| parent | c9b19e24eab1001005dd08a2ef663502b08b8897 (diff) | |
usability - on query update url parameter
Diffstat (limited to 'src/static/main.js')
| -rw-r--r-- | src/static/main.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/static/main.js b/src/static/main.js index b0e1431..ecaf650 100644 --- a/src/static/main.js +++ b/src/static/main.js @@ -36,6 +36,10 @@ function runQueryAfterLoad() { if (!SubmitButton.disabled) { // Disallow double queries SubmitButton.disabled = true; LoadingIndicator.hidden = false; + const url = new URL(location); + url.searchParams.set("Category", CategoryField.value); + history.pushState({}, "", url); + markers.clearLayers(); polygons.clearLayers(); |