annotate examples/dateboxMain.ur @ 33:2e7f8f7d71d4

Update for Ur/Web's new tag name resolution
author Adam Chlipala <adam@chlipala.net>
date Thu, 21 Nov 2013 16:12:17 -0500
parents 93140c5cc972
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>