Mercurial > gui
diff calendar.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 | 16447dc6a68c |
line wrap: on
line diff
--- a/calendar.urs Fri Aug 05 18:55:24 2011 -0430 +++ b/calendar.urs Sun Aug 07 14:38:52 2011 -0400 @@ -11,7 +11,7 @@ * the new date. They are displayed as pictures of calendars which * have clickable dates. *) -val addListener : (date -> transaction unit) -> t -> transaction unit +val onChange : t -> (date -> transaction {}) -> transaction unit (* Add a change listener to a calendar control. *) val set : t -> date -> transaction unit