move cursor to low/cursorIdx in helper function

This commit is contained in:
2025-09-13 08:48:00 +01:00
parent 9208c47622
commit bbe39f90d4
2 changed files with 1 additions and 492 deletions

View File

@@ -11,6 +11,7 @@ struct
fun finishAfterDeletingBuffer (app: app_type, low, buffer, time, msgs) =
let
val buffer = LineGap.goToIdx (low, buffer)
val searchString = #searchString app
val buffer = LineGap.goToStart buffer
val msgs = SEARCH (buffer, searchString, time) :: msgs