redraw screen when we change from NORMAL_MODE to NORMAL_SEARCH_MODE, so it is visually clear that we have changed modes

This commit is contained in:
2025-09-01 03:04:39 +01:00
parent f4a4dd9161
commit 71c77fc6ac
4 changed files with 58 additions and 51 deletions

View File

@@ -5,14 +5,14 @@ struct
open AppType
open InputMsg
(* todo: create draw msg showing search bar *)
fun switchToNormalSearchMode (app: app_type) =
let
val mode =
NORMAL_SEARCH_MODE
{searchString = "", tempSearchList = Vector.fromList []}
in
NormalModeWith.mode (app, mode, [])
NormalSearchFinish.onSearchChanged
(app, "", Vector.fromList [], #buffer app)
end
fun getNumLength (pos, str) =