add indent-line functionality

This commit is contained in:
2025-09-07 13:13:00 +01:00
parent 9ba3e8464b
commit 89c4e85c98
2 changed files with 22 additions and 7 deletions

View File

@@ -106,13 +106,7 @@ struct
* Instead, a single character is deleted at different places.
* So it doesn't make any sense to use Fn.initMsgs
* which expects a range. *)
let
val buffer = LineGap.goToStart buffer
val searchString = #searchString app
val initialMsg = [SEARCH (buffer, searchString)]
in
finishAfterDeletingBuffer (app, cursorIdx, buffer, time, initialMsg)
end
finishAfterDeletingBuffer (app, cursorIdx, buffer, time, [])
else
let
val buffer = LineGap.goToIdx (cursorIdx, buffer)