amend another idx metadata bug, but now there is another one

This commit is contained in:
2024-07-20 00:28:25 +01:00
parent d71fd80398
commit fa9e5567ca

View File

@@ -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