shell/search-thread.sml

structure SearchThread =
struct
  open CML

  (* Prerequisite to sending message: move buffer to end. *)
  fun loop () =
    let
      val (buffer, searchString, time) = Mailbox.recv SearchMailbox.mailbox
      val searchList = SearchList.build (buffer, searchString)
      val msg = InputMsg.WITH_SEARCH_LIST (searchList, time)
      val () = InputMailbox.append msg
    in
      loop ()
    end
end
use concurrency for rebuilding search list after deletion so we don't block main thread on very, very large files 2025-08-07 12:20:57 +01:00			`structure SearchThread =`
			`struct`
			`open CML`

			`(* Prerequisite to sending message: move buffer to end. *)`
done merging draw thread with update thread 2025-09-10 01:41:59 +01:00			`fun loop () =`
use concurrency for rebuilding search list after deletion so we don't block main thread on very, very large files 2025-08-07 12:20:57 +01:00			`let`
done merging draw thread with update thread 2025-09-10 01:41:59 +01:00			`val (buffer, searchString, time) = Mailbox.recv SearchMailbox.mailbox`
don't return (buffer, searchList) tuple when building search list, but only return search list itself. (No point returning buffer as it is never modified or moved.) 2025-08-07 14:40:14 +01:00			`val searchList = SearchList.build (buffer, searchString)`
only update search list if timestamp for search message is greater than the buffer's modified time 2025-09-07 13:37:14 +01:00			`val msg = InputMsg.WITH_SEARCH_LIST (searchList, time)`
done merging draw thread with update thread 2025-09-10 01:41:59 +01:00			`val () = InputMailbox.append msg`
use concurrency for rebuilding search list after deletion so we don't block main thread on very, very large files 2025-08-07 12:20:57 +01:00			`in`
done merging draw thread with update thread 2025-09-10 01:41:59 +01:00			`loop ()`
use concurrency for rebuilding search list after deletion so we don't block main thread on very, very large files 2025-08-07 12:20:57 +01:00			`end`
			`end`