add functionality to return from NORMAL_SEARCH_MODE back to NORMAL_MODE, saving new search string and new search list
This commit is contained in:
40
fcore/normal-mode/normal-search-mode-with.sml
Normal file
40
fcore/normal-mode/normal-search-mode-with.sml
Normal file
@@ -0,0 +1,40 @@
|
||||
structure NormalSearchModeWith =
|
||||
struct
|
||||
open AppType
|
||||
|
||||
fun returnToNormalMode
|
||||
( app: app_type
|
||||
, newBuffer
|
||||
, newSearchString
|
||||
, newSearchList
|
||||
, newStartLine
|
||||
, newMode
|
||||
, newMsgs
|
||||
) =
|
||||
let
|
||||
val
|
||||
{ mode = _
|
||||
, buffer = _
|
||||
, searchString = _
|
||||
, searchList = _
|
||||
, startLine = _
|
||||
, msgs = _
|
||||
, bufferModifyTime
|
||||
, windowWidth
|
||||
, windowHeight
|
||||
, cursorIdx
|
||||
} = app
|
||||
in
|
||||
{ mode = newMode
|
||||
, buffer = newBuffer
|
||||
, searchString = newSearchString
|
||||
, searchList = newSearchList
|
||||
, startLine = newStartLine
|
||||
, bufferModifyTime = bufferModifyTime
|
||||
, msgs = newMsgs
|
||||
, windowWidth = windowWidth
|
||||
, windowHeight = windowHeight
|
||||
, cursorIdx = cursorIdx
|
||||
}
|
||||
end
|
||||
end
|
||||
Reference in New Issue
Block a user