add searchCursorIdx field specific to NORMAL_SEARCH_MODE which we will later use to keep track of where to add/remove characters in the in-progress searchString from

This commit is contained in:
2025-09-01 03:18:45 +01:00
parent 71c77fc6ac
commit b80bc3d93c
4 changed files with 27 additions and 18 deletions

View File

@@ -6,14 +6,8 @@ struct
open InputMsg
fun switchToNormalSearchMode (app: app_type) =
let
val mode =
NORMAL_SEARCH_MODE
{searchString = "", tempSearchList = Vector.fromList []}
in
NormalSearchFinish.onSearchChanged
(app, "", Vector.fromList [], #buffer app)
end
NormalSearchFinish.onSearchChanged
(app, "", Vector.fromList [], 0, #buffer app)
fun getNumLength (pos, str) =
if pos = String.size str then