maobo/cup_edit
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

FilamentWidget resizing fixes

Browse Source
This commit is contained in:
Nick Fisher
2023-11-16 12:17:55 +08:00
parent e67d4d7e1f
commit daf319bf2c
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
lib/widgets/filament_widget.dart
View File

@@ -164,6 +164,7 @@ class _SizedFilamentWidgetState extends State<_SizedFilamentWidget> {
_resizeTimer?.cancel(); _resizeTimer?.cancel();
_resizeTimer = Timer(Duration(milliseconds: (kReleaseMode || Platform.isWindows) ? 10 : 100), () async { _resizeTimer = Timer(Duration(milliseconds: (kReleaseMode || Platform.isWindows) ? 10 : 100), () async {
try { try {
while(_resizing) { while(_resizing) {
await Future.delayed(const Duration(milliseconds: 20)); await Future.delayed(const Duration(milliseconds: 20));
} }
@@ -172,10 +173,10 @@ class _SizedFilamentWidgetState extends State<_SizedFilamentWidget> {
await widget.controller.resize(); await widget.controller.resize();
_resizeTimer = null; _resizeTimer = null;
setState(() {}); setState(() {});
_resizing = false;
} catch (err) { } catch (err) {
dev.log("Error resizing FilamentWidget: $err"); dev.log("Error resizing FilamentWidget: $err");
} finally { } finally {
_resizing = false;
completer.complete(); completer.complete();
} }
}); });