diff calendar.ur @ 20:554e342665fe

Add a new parameter to Gui.gui
author Adam Chlipala <adam@chlipala.net>
date Sat, 24 Sep 2011 15:47:00 -0400
parents 8300d5f0dc19
children a037ed3854e3
line wrap: on
line diff
--- a/calendar.ur	Fri Sep 23 13:30:01 2011 +0200
+++ b/calendar.ur	Sat Sep 24 15:47:00 2011 -0400
@@ -207,7 +207,7 @@
     SourceL.onChange ctl.Day f
 
 val gui_t = Gui.mkGui 
-                (fn ctl =>
+                (fn [body ~ []] ctl =>
                     <xml>
                       <dyn signal={render' ctl}/>
                     </xml>)