Mercurial > gui
view examples/countdown.ur @ 31:b5432d74841a
Update for key/mouse handler change
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 21 Jul 2012 10:15:14 -0400 |
parents | 2947170fcfd6 |
children |
line wrap: on
line source
fun main () : transaction page = start <- now; deadline <- return (addSeconds start 60); cl <- Clock.create 500; return <xml><body onload={Clock.start cl}> <dyn signal={cl <- Clock.signal cl; return <xml> {[cl]}<br/> {if cl > deadline then <xml><b>Expired</b></xml> else <xml>{[diffInSeconds cl deadline]}</xml>} </xml>}/> </body></xml>