shell/search-thread.sml

structure SearchThread =
struct
  open CML

  (* Prerequisite to sending message: move buffer to end. *)
  fun loop () =
    let
      val (buffer, dfa, time) = Mailbox.recv SearchMailbox.mailbox
      val searchList =
        raise Fail "todo: reimplement full builder for searchList"
      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`
change type of SEARCH message to take a DFA, instead of a searchString 2025-10-08 05:54:19 +01:00			`val (buffer, dfa, time) = Mailbox.recv SearchMailbox.mailbox`
			`val searchList =`
			`raise Fail "todo: reimplement full builder for searchList"`
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`