when buildinng search list, also save searchString into app
This commit is contained in:
@@ -99,13 +99,13 @@ struct
|
|||||||
}
|
}
|
||||||
end
|
end
|
||||||
|
|
||||||
fun searchListAndBuffer (app: app_type, newSearchList, newBuffer) =
|
fun searchList (app: app_type, newSearchList, newBuffer, newSearchString) =
|
||||||
let
|
let
|
||||||
val
|
val
|
||||||
{ searchList = _
|
{ searchList = _
|
||||||
, buffer = _
|
, buffer = _
|
||||||
|
, searchString = _
|
||||||
, mode
|
, mode
|
||||||
, searchString
|
|
||||||
, cursorIdx
|
, cursorIdx
|
||||||
, windowWidth
|
, windowWidth
|
||||||
, windowHeight
|
, windowHeight
|
||||||
@@ -114,8 +114,8 @@ struct
|
|||||||
in
|
in
|
||||||
{ searchList = newSearchList
|
{ searchList = newSearchList
|
||||||
, buffer = newBuffer
|
, buffer = newBuffer
|
||||||
|
, searchString = newSearchString
|
||||||
, mode = mode
|
, mode = mode
|
||||||
, searchString = searchString
|
|
||||||
, cursorIdx = cursorIdx
|
, cursorIdx = cursorIdx
|
||||||
, windowWidth = windowWidth
|
, windowWidth = windowWidth
|
||||||
, windowHeight = windowHeight
|
, windowHeight = windowHeight
|
||||||
|
|||||||
@@ -64,7 +64,7 @@ struct
|
|||||||
val buffer = LineGap.goToIdx (origIdx, buffer)
|
val buffer = LineGap.goToIdx (origIdx, buffer)
|
||||||
val searchList = SearchList.goToNum (origIdx, searchList)
|
val searchList = SearchList.goToNum (origIdx, searchList)
|
||||||
in
|
in
|
||||||
AppWith.searchListAndBuffer (app, searchList, buffer)
|
AppWith.searchList (app, searchList, buffer, searchString)
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user