adam@0: (** Textboxes with an event for "no change in N milliseconds" *)
adam@0: 
adam@0: type t
adam@0: 
adam@0: val create : int -> transaction t
adam@0: 
adam@0: val setAction : t -> (string -> transaction {}) -> transaction {}
adam@0: 
adam@0: val render : t -> xbody
adam@0: 
adam@0: val clear : t -> transaction {}
adam@0: 
adam@0: val tickle : t -> transaction {}
adam@0: (* Simulate the effect of the user making a change, which restarts the timer. *)
adam@0: 
adam@0: val trigger : t -> transaction {}
adam@0: (* Like [tickle], but triggering the action immediately, without waiting for
adam@0:  * quiescence *)