From 3b69a15703a0046dde4add7f14fb142fecd5826b Mon Sep 17 00:00:00 2001 From: "D. Berge" Date: Mon, 28 Jul 2025 12:05:10 +0200 Subject: [PATCH] Add manual refresh control to map. It may or may not be permanenet, once tasks #322, #323, #324, #325 are implemented. Closes #326 --- lib/www/client/source/src/views/Map.vue | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/lib/www/client/source/src/views/Map.vue b/lib/www/client/source/src/views/Map.vue index c513047..9f9a2f1 100644 --- a/lib/www/client/source/src/views/Map.vue +++ b/lib/www/client/source/src/views/Map.vue @@ -190,6 +190,18 @@ :indeterminate="loadingProgress === null" :value="loadingProgress" >{{ Math.round(loadingProgress) }}% +
+ mdi-cloud-refresh-variant-outline +
+ + + +
+
@@ -535,6 +547,15 @@ export default { } }, + async refresh () { + const cache = await caches.open("dougal"); + for (const key of await cache.keys()) { + cache.delete(key); + } + await this.$root.sleep(300); + this.getSequenceData(); + }, + sequencesBBox (margin = 0.1) { let [ λ0, φ0, λ1, φ1 ] = [ +Infinity, +Infinity, -Infinity, -Infinity ];