humza/sml-projects
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

change buildRange length from 777 to 1111

Browse Source
This commit is contained in:
Humza Shahid
2025-08-30 23:36:14 +01:00
parent 2b3f0405c6
commit 659a1d2585
1 changed files with 18 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

36
fcore/normal-mode/normal-delete.sml
View File

@@ -11,8 +11,8 @@ struct
val buffer = LineGap.goToStart buffer
val initialMsg = [SEARCH (buffer, searchString)]
val buffer = LineGap.goToIdx (low - 777, buffer)
val searchList = SearchList.buildRange (buffer, searchString, low + 777)
val buffer = LineGap.goToIdx (low - 1111, buffer)
val searchList = SearchList.buildRange (buffer, searchString, low + 1111)
val buffer = LineGap.goToIdx (low, buffer)
in
@@ -27,9 +27,9 @@ struct
val buffer = LineGap.goToStart buffer
val initialMsg = [SEARCH (buffer, searchString)]
val buffer = LineGap.goToIdx (cursorIdx - 777, buffer)
val buffer = LineGap.goToIdx (cursorIdx - 1111, buffer)
val searchList =
SearchList.buildRange (buffer, searchString, cursorIdx + 777)
SearchList.buildRange (buffer, searchString, cursorIdx + 1111)
in
Finish.buildTextAndClear
(app, buffer, cursorIdx, searchList, initialMsg, time)
@@ -109,9 +109,9 @@ struct
val searchString = #searchString app
val initialMsg = [SEARCH (buffer, searchString)]
val buffer = LineGap.goToIdx (cursorIdx - 777, buffer)
val buffer = LineGap.goToIdx (cursorIdx - 1111, buffer)
val searchList =
SearchList.buildRange (buffer, searchString, cursorIdx + 777)
SearchList.buildRange (buffer, searchString, cursorIdx + 1111)
(* If we have deleted from the buffer so that cursorIdx
* is no longer a valid idx,
@@ -296,9 +296,9 @@ struct
val buffer = LineGap.goToStart buffer
val initialMsg = [SEARCH (buffer, #searchString app)]
val buffer = LineGap.goToIdx (cursorIdx - 777, buffer)
val buffer = LineGap.goToIdx (cursorIdx - 1111, buffer)
val searchList =
SearchList.buildRange (buffer, searchString, cursorIdx + 777)
SearchList.buildRange (buffer, searchString, cursorIdx + 1111)
val cursorIdx = 0
val startLine = 0
@@ -330,8 +330,8 @@ struct
val buffer = LineGap.goToStart buffer
val initialMsg = [SEARCH (buffer, searchString)]
val buffer = LineGap.goToIdx (low - 777, buffer)
val searchList = SearchList.buildRange (buffer, searchString, low + 777)
val buffer = LineGap.goToIdx (low - 1111, buffer)
val searchList = SearchList.buildRange (buffer, searchString, low + 1111)
val buffer = LineGap.goToIdx (low, buffer)
in
@@ -377,9 +377,9 @@ struct
val buffer = LineGap.goToStart buffer
val initialMsg = [SEARCH (buffer, searchString)]
val buffer = LineGap.goToIdx (low - 777, buffer)
val buffer = LineGap.goToIdx (low - 1111, buffer)
val searchList =
SearchList.buildRange (buffer, searchString, low + 777)
SearchList.buildRange (buffer, searchString, low + 1111)
val buffer = LineGap.goToIdx (low, buffer)
in
@@ -405,9 +405,9 @@ struct
val buffer = LineGap.goToStart buffer
val initialMsg = [SEARCH (buffer, searchString)]
val buffer = LineGap.goToIdx (low - 777, buffer)
val buffer = LineGap.goToIdx (low - 1111, buffer)
val searchList =
SearchList.buildRange (buffer, searchString, low + 777)
SearchList.buildRange (buffer, searchString, low + 1111)
val buffer = LineGap.goToIdx (low, buffer)
in
@@ -429,8 +429,8 @@ struct
val buffer = LineGap.goToStart buffer
val initialMsg = [SEARCH (buffer, searchString)]
val buffer = LineGap.goToIdx (low - 777, buffer)
val searchList = SearchList.buildRange (buffer, searchString, low + 777)
val buffer = LineGap.goToIdx (low - 1111, buffer)
val searchList = SearchList.buildRange (buffer, searchString, low + 1111)
val buffer = LineGap.goToIdx (origLow, buffer)
in
@@ -524,9 +524,9 @@ struct
val buffer = LineGap.goToStart buffer
val initialMsg = [SEARCH (buffer, searchString)]
val buffer = LineGap.goToIdx (low - 777, buffer)
val buffer = LineGap.goToIdx (low - 1111, buffer)
val searchList =
SearchList.buildRange (buffer, searchString, low + 777)
SearchList.buildRange (buffer, searchString, low + 1111)
val buffer = LineGap.goToIdx (low, buffer)
in