Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Save a flushing line instead of discarding it

Browse source
This commit is contained in:
Piotr Osiewicz 2023-07-06 13:52:03 +02:00
parent 5e7d9dc718
commit 3e245fec90
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/editor/src/element.rs
View file

@ -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();