Mercurial > gui
diff datebox.urs @ 15:8300d5f0dc19
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 |
line wrap: on
line diff
--- a/datebox.urs Fri Aug 05 18:55:24 2011 -0430 +++ b/datebox.urs Sun Aug 07 14:38:52 2011 -0400 @@ -13,10 +13,10 @@ val create : time -> transaction t (* Get a datebox initially set to the given time. *) -val addListener : (date -> transaction unit) -> t -> transaction unit +val onChange : t -> (date -> transaction {}) -> transaction {} (* Add an action to be run when the date changes. *) -val set : t -> date -> transaction unit +val set : t -> date -> transaction {} (* Call this to change the selected date. *) val value : t -> signal date