instead of clearing the search list when we delete, build a small part of it by searching through a small part that is likely to be visible on the user's screen, which gets rid of flickering effect and makes it look like the search list is not rebuilt from scratch

This commit is contained in:
2025-08-07 15:37:32 +01:00
parent 27c5d11dd7
commit 73affaa83a
2 changed files with 45 additions and 13 deletions

View File

@@ -159,6 +159,7 @@ struct
fun searchRange (buffer: LineGap.t, searchString, low) =
let
val low = Int.max (low, 0)
val {rightStrings, leftStrings, idx = absIdx, ...} = buffer
in
case rightStrings of