comparison 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
comparison
equal deleted inserted replaced
19:3a303df9ae92 20:554e342665fe
205 205
206 fun onChange ctl f = 206 fun onChange ctl f =
207 SourceL.onChange ctl.Day f 207 SourceL.onChange ctl.Day f
208 208
209 val gui_t = Gui.mkGui 209 val gui_t = Gui.mkGui
210 (fn ctl => 210 (fn [body ~ []] ctl =>
211 <xml> 211 <xml>
212 <dyn signal={render' ctl}/> 212 <dyn signal={render' ctl}/>
213 </xml>) 213 </xml>)
214 214
215 fun set ctl day = 215 fun set ctl day =