diff --git a/fcore/app-with.sml b/fcore/app-with.sml index 1a5c1b1..841d6cc 100644 --- a/fcore/app-with.sml +++ b/fcore/app-with.sml @@ -99,13 +99,13 @@ struct } end - fun searchListAndBuffer (app: app_type, newSearchList, newBuffer) = + fun searchList (app: app_type, newSearchList, newBuffer, newSearchString) = let val { searchList = _ , buffer = _ + , searchString = _ , mode - , searchString , cursorIdx , windowWidth , windowHeight @@ -114,8 +114,8 @@ struct in { searchList = newSearchList , buffer = newBuffer + , searchString = newSearchString , mode = mode - , searchString = searchString , cursorIdx = cursorIdx , windowWidth = windowWidth , windowHeight = windowHeight diff --git a/fcore/build-search-list.sml b/fcore/build-search-list.sml index 04d6952..61eabe9 100644 --- a/fcore/build-search-list.sml +++ b/fcore/build-search-list.sml @@ -64,7 +64,7 @@ struct val buffer = LineGap.goToIdx (origIdx, buffer) val searchList = SearchList.goToNum (origIdx, searchList) in - AppWith.searchListAndBuffer (app, searchList, buffer) + AppWith.searchList (app, searchList, buffer, searchString) end end diff --git a/shf b/shf index 960d02f..9adca48 100755 Binary files a/shf and b/shf differ