From 80475856d31ea2ab6d5f2194801d5b1842cb09e6 Mon Sep 17 00:00:00 2001
From: Sara <sarasdj@stud.ntnu.no>
Date: Tue, 4 Jun 2024 18:00:37 +0200
Subject: [PATCH] update: almost fixed lake swap
---
app/lib/pages/default_page.dart | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/app/lib/pages/default_page.dart b/app/lib/pages/default_page.dart
index 62583d7c..0bc09ee4 100644
--- a/app/lib/pages/default_page.dart
+++ b/app/lib/pages/default_page.dart
@@ -62,14 +62,15 @@ class _DefaultPageState extends State<DefaultPage> {
context: context,
delegate: CustomSearchDelegate((String result) {
// Make request only if the selected lake is different from the current selected lake
- //if (result != selectedLake) {
Future.microtask(() async { // Reinitialise state with new lake data
+ setState(() {
+ selectedLake = result;
+ });
await initialiseState(false);
setState(() {
selectedLake = result;
});
});
- //}
}),
);
},
--
GitLab