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