delete 'nextMatch' function in search-list.sml, and refactor other code to use alternative function

This commit is contained in:
2025-10-08 08:16:20 +01:00
parent 8941ce9f89
commit 3b823d7ae6
4 changed files with 10 additions and 4 deletions

View File

@@ -766,7 +766,8 @@ struct
fun deleteToNextMatch (app: app_type, count, time) =
let
val {cursorIdx, searchList, ...} = app
val newCursorIdx = SearchList.nextMatch (cursorIdx, searchList, count)
val newCursorIdx =
PersistentVector.nextMatch (cursorIdx, searchList, count)
in
if newCursorIdx = ~1 orelse newCursorIdx <= cursorIdx then
NormalFinish.clearMode app