From fb0a8674d15d33e96604db422bd1eee53cc6f814 Mon Sep 17 00:00:00 2001 From: Thomas Fransolet Date: Thu, 14 Mar 2024 15:04:43 +0100 Subject: [PATCH] Wait 2 sec before refresh ressources (on create) --- lib/Components/slider_input_container.dart | 26 ++++++++++++--------- lib/Screens/Resources/resources_screen.dart | 5 +++- 2 files changed, 19 insertions(+), 12 deletions(-) diff --git a/lib/Components/slider_input_container.dart b/lib/Components/slider_input_container.dart index 22f87ca..c4ce50e 100644 --- a/lib/Components/slider_input_container.dart +++ b/lib/Components/slider_input_container.dart @@ -42,17 +42,21 @@ class _SliderInputContainerState extends State { ), Padding( padding: const EdgeInsets.all(10.0), - child: Slider( - value: currentValue!, - onChanged: (value) { - setState(() => currentValue = value); - widget.onChanged(value); - }, - divisions: widget.max - widget.min, - min: widget.min.toDouble(), - max: widget.max.toDouble(), - label: "$currentValue", - activeColor: widget.color, + child: SliderTheme( + data: SliderThemeData( + showValueIndicator: ShowValueIndicator.always), + child: Slider( + value: currentValue!, + onChanged: (value) { + setState(() => currentValue = value); + widget.onChanged(value); + }, + divisions: widget.max - widget.min, + min: widget.min.toDouble(), + max: widget.max.toDouble(), + label: "$currentValue", + activeColor: widget.color, + ), ), ), ], diff --git a/lib/Screens/Resources/resources_screen.dart b/lib/Screens/Resources/resources_screen.dart index 1bb41ef..4750158 100644 --- a/lib/Screens/Resources/resources_screen.dart +++ b/lib/Screens/Resources/resources_screen.dart @@ -68,7 +68,10 @@ class _ResourcesScreenState extends State { if (result != null) { await create(result[0], result[1], result[2], appContext, context); - setState(() {}); // For refresh + Future.delayed(Duration(seconds: 2), () { + setState(() {}); + }); + // For refresh } } else { var result = await showResource(value, appContext, context, size);