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

set pixel ratio in FilamentWidget

Browse Source
This commit is contained in:
Nick Fisher
2023-10-26 11:19:35 +11:00
parent 0fdbf0b5be
commit 38b58b6d8f
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
lib/widgets/filament_widget.dart
View File

@@ -139,8 +139,11 @@ class _SizedFilamentWidgetState extends State<_SizedFilamentWidget> {
onStateChange: _handleStateChange, onStateChange: _handleStateChange,
); );
WidgetsBinding.instance.addPostFrameCallback((timeStamp) async { WidgetsBinding.instance.addPostFrameCallback((timeStamp) async {
try { try {
widget.controller.setPixelRatio(MediaQuery.of(context).devicePixelRatio);
await widget.controller.createViewer(_rect); await widget.controller.createViewer(_rect);
} catch (err) { } catch (err) {
_error = err.toString(); _error = err.toString();
@@ -174,7 +177,6 @@ class _SizedFilamentWidgetState extends State<_SizedFilamentWidget> {
} }
_resizing = true; _resizing = true;
await widget.controller.resize(_rect); await widget.controller.resize(_rect);
_resizeTimer = null; _resizeTimer = null;
setState(() {}); setState(() {});