annotate examples/datebox.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
rev   line source
kkallio@12 1 fun main () =
adam@20 2 tm <- now;
kkallio@12 3
adam@20 4 dayCtl <- Datebox.create tm;
kkallio@12 5
adam@20 6 load <- return (Datebox.onChange dayCtl (fn d => alert (show d.Day)));
kkallio@14 7
adam@20 8 return
adam@20 9 <xml>
adam@20 10 <head><title>Datebox Example</title></head>
adam@20 11 <body onload={load}>
adam@20 12 {Gui.toXml dayCtl}
adam@20 13 </body>
adam@20 14 </xml>