From 30cee61f94a594a26f7c26d570b187ba64688cf7 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Sun, 14 Jul 2024 16:31:03 +0100 Subject: [PATCH] progress with delete --- src/line_gap.sml | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/src/line_gap.sml b/src/line_gap.sml index 217c196..c7a11e6 100644 --- a/src/line_gap.sml +++ b/src/line_gap.sml @@ -1608,9 +1608,18 @@ struct , newRightLines ) end - else + else if prevIdx < start then (* Equivalent in gap_buffer.sml is line 350. *) + (* We want to delete in the middle of lefStringsHd. *) + let + val sub1Length = start - prevIdx + val sub1 = String.substring (leftStringsHd, 0, sub1Length) + val sub2Start = finish - prevIdx + val sub2 = String.substring (leftStringsHd, sub2Start, + String.size leftStringsHd - sub2Start) + in 0 + end else 0 end