Mercurial > urweb
diff tests/activeFocus.ur @ 1790:56b8efff64e7
Nicer <active> semantics
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 22 Jul 2012 09:42:17 -0400 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/activeFocus.ur Sun Jul 22 09:42:17 2012 -0400 @@ -0,0 +1,18 @@ +fun main () : transaction page = + i <- fresh; + return <xml><body> + <ctextbox/> + <ctextbox id={i}/> + <active code={giveFocus i; return <xml>Done</xml>}/> + </body></xml> + +fun dynamic () : transaction page = + x <- source <xml/>; + return <xml><body> + <dyn signal={signal x}/> + <button onclick={fn _ => i <- fresh; set x <xml> + <ctextbox/> + <ctextbox id={i}/> + <active code={giveFocus i; return <xml>Done</xml>}/> + </xml>}/> + </body></xml>