Mercurial > gui
comparison waitbox.urs @ 0:37eefd0a2ed4
Import code from elsewhere
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Tue, 14 Dec 2010 10:55:22 -0500 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| -1:000000000000 | 0:37eefd0a2ed4 |
|---|---|
| 1 (** Textboxes with an event for "no change in N milliseconds" *) | |
| 2 | |
| 3 type t | |
| 4 | |
| 5 val create : int -> transaction t | |
| 6 | |
| 7 val setAction : t -> (string -> transaction {}) -> transaction {} | |
| 8 | |
| 9 val render : t -> xbody | |
| 10 | |
| 11 val clear : t -> transaction {} | |
| 12 | |
| 13 val tickle : t -> transaction {} | |
| 14 (* Simulate the effect of the user making a change, which restarts the timer. *) | |
| 15 | |
| 16 val trigger : t -> transaction {} | |
| 17 (* Like [tickle], but triggering the action immediately, without waiting for | |
| 18 * quiescence *) |