address todo in text-builder.sml by adding prerequisite: always call SearchList.goToNum before calling TextBuilder.build

2024-11-25 04:37:47 +00:00
parent d399016c1a
commit c28dc429b7
3 changed files with 75 additions and 28 deletions
--- a/fcore/app-with.sml
+++ b/fcore/app-with.sml
@@ -26,14 +26,15 @@ struct
      }
    end

-  fun bufferAndSize (app: app_type, newBuffer, newWidth, newHeight) =
+  fun bufferAndSize
+    (app: app_type, newBuffer, newWidth, newHeight, newSearchList) =
    let
      val
        { mode
        , buffer = _
        , windowWidth = _
        , windowHeight = _
-        , searchList
+        , searchList = _
        , searchString
        , startLine
        , cursorIdx
@@ -43,7 +44,7 @@ struct
      , buffer = newBuffer
      , windowWidth = newWidth
      , windowHeight = newHeight
-      , searchList = searchList
+      , searchList = newSearchList
      , searchString = searchString
      , startLine = startLine
      , cursorIdx = cursorIdx