humza/sml-projects
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

save current status of file

Browse Source
This commit is contained in:
Humza Shahid
2024-07-18 15:58:07 +01:00
parent 371bc093ff
commit b227aa68ba
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/line_gap.sml
View File

@@ -1090,12 +1090,14 @@ struct
val _ = println "996" val _ = println "996"
val lineDeleteEnd = binSearch val lineDeleteEnd = binSearch
(String.size newStr - 1, rightLinesHd) (String.size newStr - 1, rightLinesHd)
val lineDeleteStart = Vector.length rightLinesHd - lineDeleteEnd
val lineDeleteLength = lineDeleteEnd - lineDeleteStart
in in
if lineDeleteEnd >= 0 then if lineDeleteEnd >= 0 then
Vector.tabulate Vector.tabulate
( Vector.length rightLinesHd - lineDeleteEnd ( lineDeleteLength + 1
, fn idx => , fn idx =>
Vector.sub (rightLinesHd, idx + lineDeleteEnd + 1) Vector.sub (rightLinesHd, idx + lineDeleteStart)
- newStrStart - newStrStart
) )
else else