From 38b58b6d8f5a5c6e27ea07954c7ae60bd3ac54f8 Mon Sep 17 00:00:00 2001 From: Nick Fisher Date: Thu, 26 Oct 2023 11:19:35 +1100 Subject: [PATCH] set pixel ratio in FilamentWidget --- lib/widgets/filament_widget.dart | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/lib/widgets/filament_widget.dart b/lib/widgets/filament_widget.dart index 6bab7b95..1f96bea8 100644 --- a/lib/widgets/filament_widget.dart +++ b/lib/widgets/filament_widget.dart @@ -139,8 +139,11 @@ class _SizedFilamentWidgetState extends State<_SizedFilamentWidget> { onStateChange: _handleStateChange, ); + + WidgetsBinding.instance.addPostFrameCallback((timeStamp) async { try { + widget.controller.setPixelRatio(MediaQuery.of(context).devicePixelRatio); await widget.controller.createViewer(_rect); } catch (err) { _error = err.toString(); @@ -174,7 +177,6 @@ class _SizedFilamentWidgetState extends State<_SizedFilamentWidget> { } _resizing = true; - await widget.controller.resize(_rect); _resizeTimer = null; setState(() {});