From 6507b9d49c41e4b20fb85ed3adcc2e387c7823fb Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Tue, 16 Sep 2025 06:29:35 +0100 Subject: [PATCH] adjust MakeNormalDelete.deleteLine implementation slightly, because the previous implementation did not delete the last character when we are at the end of the file --- fcore/normal-mode/make-normal-delete.sml | 4 ++-- lib/brolib-sml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/fcore/normal-mode/make-normal-delete.sml b/fcore/normal-mode/make-normal-delete.sml index 179a338..6848046 100644 --- a/fcore/normal-mode/make-normal-delete.sml +++ b/fcore/normal-mode/make-normal-delete.sml @@ -275,10 +275,10 @@ struct let val {buffer, cursorIdx, searchString, ...} = app val buffer = LineGap.goToIdx (cursorIdx, buffer) + val textLength = #textLength buffer val startIdx = Cursor.vi0 (buffer, cursorIdx) - val finishIdx = Cursor.viDlrForDelete (buffer, cursorIdx, count) - + val finishIdx = Cursor.viDlr (buffer, cursorIdx, count) + 2 val length = finishIdx - startIdx in deleteAndFinish (app, startIdx, length, buffer, time) diff --git a/lib/brolib-sml b/lib/brolib-sml index 09fe611..bef4620 160000 --- a/lib/brolib-sml +++ b/lib/brolib-sml @@ -1 +1 @@ -Subproject commit 09fe611efbcdc9031d66d990fac55bb81777f09c +Subproject commit bef4620cdb3f6d98b9d79afc8d7339052c9bc78e