use short timeout on front-end for resizing on Windows

2023-10-26 12:38:52 +11:00
parent 6399ca41ed
commit 53c908dd0d
2 changed files with 2 additions and 52 deletions
--- a/lib/widgets/filament_widget.dart
+++ b/lib/widgets/filament_widget.dart
@@ -168,7 +168,7 @@ class _SizedFilamentWidgetState extends State<_SizedFilamentWidget> {
    _resizeTimer?.cancel();

    _resizeTimer =
-        Timer(const Duration(milliseconds: kReleaseMode ? 20 : 100), () async {
+        Timer(Duration(milliseconds: (kReleaseMode || Platform.isWindows) ? 10 : 100), () async {
      if (!mounted) {
        return;
      }