adjust MakeNormalDelete.deleteLine implementation slightly, because the previous implementation did not delete the last character when we are at the end of the file
This commit is contained in:
@@ -275,10 +275,10 @@ struct
|
|||||||
let
|
let
|
||||||
val {buffer, cursorIdx, searchString, ...} = app
|
val {buffer, cursorIdx, searchString, ...} = app
|
||||||
val buffer = LineGap.goToIdx (cursorIdx, buffer)
|
val buffer = LineGap.goToIdx (cursorIdx, buffer)
|
||||||
|
val textLength = #textLength buffer
|
||||||
|
|
||||||
val startIdx = Cursor.vi0 (buffer, cursorIdx)
|
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
|
val length = finishIdx - startIdx
|
||||||
in
|
in
|
||||||
deleteAndFinish (app, startIdx, length, buffer, time)
|
deleteAndFinish (app, startIdx, length, buffer, time)
|
||||||
|
|||||||
Submodule lib/brolib-sml updated: 09fe611efb...bef4620cdb
Reference in New Issue
Block a user