message-types/mailbox-type.sml

structure MailboxType =
struct datatype t = DRAW of DrawMsg.t | SEARCH of LineGap.t * string * Time.time 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 MailboxType =`
when constructing SEARCH message, include time in the message as well. This will enable us to ignore any messages when we have a 'later' state available. 2025-09-07 13:24:41 +01:00			`struct datatype t = DRAW of DrawMsg.t \| SEARCH of LineGap.t * string * Time.time end`