From 6399ca41edc00e6d39d0deff134915472bc9ab79 Mon Sep 17 00:00:00 2001
From: Nick Fisher <nick.fisher@avinium.com>
Date: Thu, 26 Oct 2023 11:33:44 +1100
Subject: [PATCH] use pixelRatio properly

---
 lib/filament_controller_ffi.dart | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/filament_controller_ffi.dart b/lib/filament_controller_ffi.dart
index fb566787..932fedb4 100644
--- a/lib/filament_controller_ffi.dart
+++ b/lib/filament_controller_ffi.dart
@@ -164,7 +164,7 @@ class FilamentControllerFFI extends FilamentController {
       throw Exception("Failed to get resource loader");
     }
 
-    rect = rect.inflate(_pixelRatio);
+    rect = Rect.fromLTWH(rect.left, rect.top, rect.width * _pixelRatio, rect.height * _pixelRatio);
 
     if (Platform.isWindows && requiresTextureWidget) {
       _driver = Pointer<Void>.fromAddress(
@@ -296,7 +296,7 @@ class FilamentControllerFFI extends FilamentController {
       throw Exception("Resize currently underway, ignoring");
     }
 
-    rect = rect.inflate(_pixelRatio);
+    rect = Rect.fromLTWH(rect.left, rect.top, rect.width * _pixelRatio, rect.height * _pixelRatio);
 
     _resizing = true;