annotate tests/autocomp.ur @ 1491:b2ca3e1e5b40

Fixes for detecting pastes and autocompletes for dynamic textboxes
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Jul 2011 10:02:54 -0400
parents
children
rev   line source
adam@1491 1 fun main () : transaction page =
adam@1491 2 a <- source "";
adam@1491 3 b <- source "";
adam@1491 4 return <xml><body>
adam@1491 5 <form>
adam@1491 6 <textbox{#A} source={a}/>
adam@1491 7 <button onclick={x <- get a; set b x}/>
adam@1491 8 <dyn signal={v <- signal a; return <xml>{[v]}</xml>}/>
adam@1491 9 / <dyn signal={v <- signal b; return <xml>{[v]}</xml>}/>
adam@1491 10 </form>
adam@1491 11 </body></xml>