view tests/dynClass.ur @ 1692:a1a1d66aebac

Change <radio> to yield [option string]
author Adam Chlipala <adam@chlipala.net>
date Sat, 10 Mar 2012 12:53:33 -0500
parents b0720700c36e
children acadf9d1214a
line wrap: on
line source
style s1
style s2

fun main () : transaction page =
    src <- source s1;
    s <- source "";
    toggle <- source False;
    return <xml>
      <head>
	<link rel="stylesheet" type="text/css" href="http://localhost/test.css"/>
      </head>
      <body>
	<button dynClass={signal src} onclick={set src s2}/>

	<hr/>

	<ctextbox source={s} dynClass={t <- signal toggle;
				       return (if t then s1 else s2)}
        	  onkeyup={fn _ => t <- get toggle; set toggle (not t)}/>
      </body>
    </xml>