annotate examples/datebox.ur @ 25:a037ed3854e3

Change time format to work portably in JavaScript
author Adam Chlipala <adam@chlipala.net>
date Sun, 04 Dec 2011 16:33:48 -0500
parents 554e342665fe
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>