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

move buffer to start before creating searchMsg

Browse Source
This commit is contained in:
Humza Shahid
2025-08-30 18:21:47 +01:00
parent 7497dc7e7a
commit 148b72835b
1 changed files with 9 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -8,7 +8,7 @@ struct
val buffer = LineGap.delete (low, length, buffer) val buffer = LineGap.delete (low, length, buffer)
val searchString = #searchString app val searchString = #searchString app
val buffer = LineGap.goToEnd buffer val buffer = LineGap.goToStart buffer
val initialMsg = [SEARCH (buffer, searchString)] val initialMsg = [SEARCH (buffer, searchString)]
val buffer = LineGap.goToIdx (low + 777, buffer) val buffer = LineGap.goToIdx (low + 777, buffer)
@@ -24,7 +24,7 @@ struct
if count = 0 then if count = 0 then
let let
val searchString = #searchString app val searchString = #searchString app
val buffer = LineGap.goToEnd buffer val buffer = LineGap.goToStart buffer
val initialMsg = [SEARCH (buffer, searchString)] val initialMsg = [SEARCH (buffer, searchString)]
val buffer = LineGap.goToIdx (cursorIdx + 777, buffer) val buffer = LineGap.goToIdx (cursorIdx + 777, buffer)
@@ -105,7 +105,7 @@ struct
val buffer = LineGap.delete (low, length, buffer) val buffer = LineGap.delete (low, length, buffer)
val buffer = LineGap.goToEnd buffer val buffer = LineGap.goToStart buffer
val searchString = #searchString app val searchString = #searchString app
val initialMsg = [SEARCH (buffer, searchString)] val initialMsg = [SEARCH (buffer, searchString)]
@@ -293,7 +293,7 @@ struct
val buffer = LineGap.delete (0, cursorIdx, buffer) val buffer = LineGap.delete (0, cursorIdx, buffer)
val buffer = LineGap.goToEnd buffer val buffer = LineGap.goToStart buffer
val initialMsg = [SEARCH (buffer, #searchString app)] val initialMsg = [SEARCH (buffer, #searchString app)]
val buffer = LineGap.goToIdx (cursorIdx + 777, buffer) val buffer = LineGap.goToIdx (cursorIdx + 777, buffer)
@@ -327,7 +327,7 @@ struct
val length = high - low val length = high - low
val buffer = LineGap.delete (low, length, buffer) val buffer = LineGap.delete (low, length, buffer)
val buffer = LineGap.goToEnd buffer val buffer = LineGap.goToStart buffer
val initialMsg = [SEARCH (buffer, searchString)] val initialMsg = [SEARCH (buffer, searchString)]
val buffer = LineGap.goToIdx (low + 777, buffer) val buffer = LineGap.goToIdx (low + 777, buffer)
@@ -374,7 +374,7 @@ struct
val length = high - low val length = high - low
val buffer = LineGap.delete (low, length, buffer) val buffer = LineGap.delete (low, length, buffer)
val buffer = LineGap.goToEnd buffer val buffer = LineGap.goToStart buffer
val initialMsg = [SEARCH (buffer, searchString)] val initialMsg = [SEARCH (buffer, searchString)]
val buffer = LineGap.goToIdx (low + 777, buffer) val buffer = LineGap.goToIdx (low + 777, buffer)
@@ -402,7 +402,7 @@ struct
val length = high - low val length = high - low
val buffer = LineGap.delete (low, length, buffer) val buffer = LineGap.delete (low, length, buffer)
val buffer = LineGap.goToEnd buffer val buffer = LineGap.goToStart buffer
val initialMsg = [SEARCH (buffer, searchString)] val initialMsg = [SEARCH (buffer, searchString)]
val buffer = LineGap.goToIdx (low + 777, buffer) val buffer = LineGap.goToIdx (low + 777, buffer)
@@ -426,7 +426,7 @@ struct
val length = high - low val length = high - low
val buffer = LineGap.delete (low, length, buffer) val buffer = LineGap.delete (low, length, buffer)
val buffer = LineGap.goToEnd buffer val buffer = LineGap.goToStart buffer
val initialMsg = [SEARCH (buffer, searchString)] val initialMsg = [SEARCH (buffer, searchString)]
val buffer = LineGap.goToIdx (low + 777, buffer) val buffer = LineGap.goToIdx (low + 777, buffer)
@@ -521,7 +521,7 @@ struct
low low
val searchString = #searchString app val searchString = #searchString app
val buffer = LineGap.goToEnd buffer val buffer = LineGap.goToStart buffer
val initialMsg = [SEARCH (buffer, searchString)] val initialMsg = [SEARCH (buffer, searchString)]
val buffer = LineGap.goToIdx (low + 777, buffer) val buffer = LineGap.goToIdx (low + 777, buffer)