shell/search-thread.sml

structure SearchThread =
struct
  open CML

  fun loop () =
    let
      val (buffer, dfa, time) = Mailbox.recv SearchMailbox.mailbox
      val iterator = LineGap.makeStringIterator buffer
      val searchList = SearchList.build (iterator, dfa)
      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`

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`
reimplement functionality to run whole text search using DFA 2025-10-08 06:40:20 +01:00			`val iterator = LineGap.makeStringIterator buffer`
			`val searchList = SearchList.build (iterator, dfa)`
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`