From 3e245fec9033331034cd054c26291c2a4c06136e Mon Sep 17 00:00:00 2001
From: Piotr Osiewicz <24362066+osiewicz@users.noreply.github.com>
Date: Thu, 6 Jul 2023 13:52:03 +0200
Subject: [PATCH] Save a flushing line instead of discarding it

---
 crates/editor/src/element.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/crates/editor/src/element.rs b/crates/editor/src/element.rs
index 82fbd194db..e96f1efe92 100644
--- a/crates/editor/src/element.rs
+++ b/crates/editor/src/element.rs
@@ -1103,8 +1103,8 @@ impl EditorElement {
                     if let Some(current_end) = end_row.as_mut() {
                         if start_display.row() > *current_end + 1 {
                             push_region(start_row, end_row);
-                            start_row = None;
-                            end_row = None;
+                            start_row = Some(start_display.row());
+                            end_row = Some(end_display.row());
                         } else {
                             // Merge two hunks.
                             *current_end = end_display.row();