Mercurial > urweb
diff tests/ccheckbox.ur @ 1610:37f5a23446b2
Catch more <ccheckbox> events
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 24 Nov 2011 11:41:52 -0500 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/ccheckbox.ur Thu Nov 24 11:41:52 2011 -0500 @@ -0,0 +1,8 @@ +fun main () : transaction page = + s <- source True; + t <- source 1; + return <xml><body><ccheckbox source={s} onclick={set t 3}/> + <dyn signal={s <- signal s; + t <- signal t; + return <xml>{[s]} {[t]}</xml>}/> + </body></xml>