From fa9e5567ca48f0f5bfec50954c7c55cf5390b619 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Sat, 20 Jul 2024 00:28:25 +0100 Subject: [PATCH] amend another idx metadata bug, but now there is another one --- src/line_gap.sml | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/src/line_gap.sml b/src/line_gap.sml index bffd78b..1a62c15 100644 --- a/src/line_gap.sml +++ b/src/line_gap.sml @@ -1694,13 +1694,16 @@ struct let val _ = println "1594" in - { idx = 0 - , line = 0 - , leftStrings = leftStrings - , leftLines = leftLines - , rightStrings = rightStrings - , rightLines = rightLines - } + moveLeftAndDelete + ( start + , finish + , prevIdx + , curLine - Vector.length leftLinesHd + , leftStringsTl + , leftLinesTl + , [leftStringsHd] + , [leftLinesHd] + ) end) else if prevIdx < finish then if prevIdx > start then