diff datebox.ur @ 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.ur	Fri Aug 05 18:55:24 2011 -0430
+++ b/datebox.ur	Sun Aug 07 14:38:52 2011 -0400
@@ -19,8 +19,8 @@
     return {Cal = cal,
             Panel = panel}
 
-fun addListener f db =
-    Calendar.addListener f db.Cal
+fun onChange db f =
+    Calendar.onChange db.Cal f
 
 fun set db day =
     Calendar.set db.Cal day