amend LineGap.append function: previously, we were calculating the updated textLength and lineLength, but we were not using them, instead passing the old parameters instead. Now we use them as well.

2025-09-16 05:36:26 +01:00
parent 09fe611efb
commit bef4620cdb
1 changed files with 2 additions and 2 deletions
--- a/src/line_gap.sml
+++ b/src/line_gap.sml
@@ -1230,8 +1230,8 @@ struct
        , line
        , leftLines
        , rightLines
-        , textLength
+        , newTextLength
-        , lineLength
+        , newLineLength
        )
    end