From 4e11298d4df04d722d64e4f05258428387128913 Mon Sep 17 00:00:00 2001
From: Benjamin Quinn <benjamin.quinn92@gmail.com>
Date: Fri, 31 Mar 2023 17:36:44 -0400
Subject: [PATCH] Highlight the beginning selected, empty lines. (#1149)

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

diff --git a/lib/src/widgets/text_line.dart b/lib/src/widgets/text_line.dart
index 3d4e02e0..2d743d3b 100644
--- a/lib/src/widgets/text_line.dart
+++ b/lib/src/widgets/text_line.dart
@@ -1107,6 +1107,19 @@ class RenderEditableTextLine extends RenderEditableBox {
         _selectedRects ??= _body!.getBoxesForSelection(
           local,
         );
+
+        // Paint a small rect at the start of empty lines that
+        // are contained by the selection.
+        if (line.isEmpty &&
+          textSelection.baseOffset <= line.offset &&
+          textSelection.extentOffset > line.offset
+        ) {
+          final lineHeight =
+            preferredLineHeight(TextPosition(offset: line.offset));
+          _selectedRects?.add(
+            TextBox.fromLTRBD(0, 0, 3, lineHeight, textDirection));
+        }
+
         _paintSelection(context, effectiveOffset);
       }
     }