Make page choice more svelty (#51)

[nominatim-ui.git] / src / lib / stores.js

diff --git a/src/lib/stores.js b/src/lib/stores.js
index 910dd8c98f740df57b5d78ade17d1f31decc61b2..e618db297932aba9a2f4e6a43458523cfd91f97b 100644 (file)
--- a/src/lib/stores.js
+++ b/src/lib/stores.js
@@ -5,3 +5,16 @@ export const results_store = writable();
 export const current_result_store = writable();
 export const current_request_latlon = writable();
 export const last_updated_store = writable();
+export const page = writable({count: 0});
+
+export function refresh_page() {
+    let pagename = window.location.pathname.replace('.html', '').replace(/^.*\//, '');
+
+    if (['search', 'reverse', 'details', 'deletable', 'polygons'].indexOf(pagename) == -1) {
+      pagename = 'search';
+    }
+
+    // Add a counter here to make sure the store change is triggered
+    // everytime we refresh, not just when the page changes.
+    page.update(function(v) { return {tab: pagename, count: v.count + 1}});
+}