Humza Shahid 088c5c3d98 checkpoint while implementing prevMatch functionality

2025-10-08 10:39:49 +01:00

..

cursor-dfa

fix minor bug in make-dfa-loop.sml: when folding backwards using an if-statement, make sure we start folding from the leftStrings if the cursorIdx < 0

2025-09-25 08:34:23 +01:00

normal-mode

progress implementing help-prev-match for vector

2025-10-08 10:27:19 +01:00

search-list

progress implementing help-prev-match for vector

2025-10-08 10:27:19 +01:00

text-builder

add ability to switch to case-sensitive-search-mode using '?' command from normal mode

2025-10-08 05:29:05 +01:00

app-type.sml

reimplement function to search through text from scratch

2025-10-08 06:35:49 +01:00

app-update.sml

a little additional scaffolding for normal mode

2025-08-31 02:41:37 +01:00

app-with.sml

copy new file order from shf.mlb to shf-tests.mlb, and remove split-string tests because we have tried to refactor string-search logic to be separate from the data structure

2025-09-16 01:25:27 +01:00

bin-search.sml

if we encounter an empty state when getting follow positions, skip to next char

2025-10-06 07:44:46 +01:00

cursor.sml

adjust functor to move by dfa so that we cannot go to the last char of the file if (last char is a newline and is preceded by a non-newline), but otherwise we can go to the last char of the file.

2025-09-23 11:47:25 +01:00

move.sml

found bug in '0' motion, added test for it, and fixed it as well

2025-09-23 16:05:23 +01:00

persistent-vector.sml

checkpoint while implementing prevMatch functionality

2025-10-08 10:39:49 +01:00

pipe-cursor.sml

add z-index parameter to cursors, and refactor code to use them

2025-09-11 01:53:13 +01:00

rect.sml

better visual positioning for cursor

2025-09-27 08:14:22 +01:00

text-constants.sml

add function to get the appropriate scroll column

2025-09-11 16:17:56 +01:00

text-scroll.sml

pass 'maxLength' value to TextScroll function so that we can prevent scrolling past the bottom of the file (unless we want to od so by centtering the screen)

2025-09-19 23:17:28 +01:00