Mercurial > gui

comparison datebox.urs @ 15:8300d5f0dc19

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Replace ChangePoller with SourceL, plus some other rearrangements
author Adam Chlipala <adam@chlipala.net>
date Sun, 07 Aug 2011 14:38:52 -0400
parents 0827320b0f04
children 3a303df9ae92
comparison
equal deleted inserted replaced
14:0827320b0f04 15:8300d5f0dc19
11 (* Type of dates and some useful utility functions. *) 11 (* Type of dates and some useful utility functions. *)
12 12
13 val create : time -> transaction t 13 val create : time -> transaction t
14 (* Get a datebox initially set to the given time. *) 14 (* Get a datebox initially set to the given time. *)
15 15
16 val addListener : (date -> transaction unit) -> t -> transaction unit 16 val onChange : t -> (date -> transaction {}) -> transaction {}
17 (* Add an action to be run when the date changes. *) 17 (* Add an action to be run when the date changes. *)
18 18
19 val set : t -> date -> transaction unit 19 val set : t -> date -> transaction {}
20 (* Call this to change the selected date. *) 20 (* Call this to change the selected date. *)
21 21
22 val value : t -> signal date 22 val value : t -> signal date
23 (* Extract the current date value. *) 23 (* Extract the current date value. *)
24 24