From 348f89a1954e6f667e5edc9013fa80116d48a6db Mon Sep 17 00:00:00 2001
From: Xun Gong <hyouuu@gmail.com>
Date: Tue, 25 May 2021 11:55:51 -0700
Subject: [PATCH] fix double to int cast

---
 lib/src/widgets/text_line.dart | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/lib/src/widgets/text_line.dart b/lib/src/widgets/text_line.dart
index 04a9567d..b03c0f9b 100644
--- a/lib/src/widgets/text_line.dart
+++ b/lib/src/widgets/text_line.dart
@@ -625,11 +625,11 @@ class RenderEditableTextLine extends RenderEditableBox {
     final verticalPadding = _resolvedPadding!.top + _resolvedPadding!.bottom;
     final leadingWidth = _leading == null
         ? 0
-        : _leading!.getMinIntrinsicWidth(height - verticalPadding) as int;
+        : _leading!.getMinIntrinsicWidth(height - verticalPadding).floor();
     final bodyWidth = _body == null
         ? 0
         : _body!.getMinIntrinsicWidth(math.max(0, height - verticalPadding))
-            as int;
+            .floor();
     return horizontalPadding + leadingWidth + bodyWidth;
   }
 
@@ -640,11 +640,11 @@ class RenderEditableTextLine extends RenderEditableBox {
     final verticalPadding = _resolvedPadding!.top + _resolvedPadding!.bottom;
     final leadingWidth = _leading == null
         ? 0
-        : _leading!.getMaxIntrinsicWidth(height - verticalPadding) as int;
+        : _leading!.getMaxIntrinsicWidth(height - verticalPadding).ceil();
     final bodyWidth = _body == null
         ? 0
         : _body!.getMaxIntrinsicWidth(math.max(0, height - verticalPadding))
-            as int;
+            .ceil();
     return horizontalPadding + leadingWidth + bodyWidth;
   }