From daf319bf2ce4add4a2d09173110b87b53d36a961 Mon Sep 17 00:00:00 2001 From: Nick Fisher Date: Thu, 16 Nov 2023 12:17:55 +0800 Subject: [PATCH] FilamentWidget resizing fixes --- lib/widgets/filament_widget.dart | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lib/widgets/filament_widget.dart b/lib/widgets/filament_widget.dart index 59bfaa37..890d8616 100644 --- a/lib/widgets/filament_widget.dart +++ b/lib/widgets/filament_widget.dart @@ -164,6 +164,7 @@ class _SizedFilamentWidgetState extends State<_SizedFilamentWidget> { _resizeTimer?.cancel(); _resizeTimer = Timer(Duration(milliseconds: (kReleaseMode || Platform.isWindows) ? 10 : 100), () async { try { + while(_resizing) { await Future.delayed(const Duration(milliseconds: 20)); } @@ -172,10 +173,10 @@ class _SizedFilamentWidgetState extends State<_SizedFilamentWidget> { await widget.controller.resize(); _resizeTimer = null; setState(() {}); - _resizing = false; } catch (err) { dev.log("Error resizing FilamentWidget: $err"); } finally { + _resizing = false; completer.complete(); } });