Mercurial > urweb
diff tests/dynClassB.ur @ 2121:f89be9cd2087
Support 'dynClass' and 'dynStyle' for <body>
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 03 Mar 2015 15:55:00 -0500 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/dynClassB.ur Tue Mar 03 15:55:00 2015 -0500 @@ -0,0 +1,17 @@ +style style1 +style style2 + +fun main () : transaction page = + toggle <- source False; + return <xml> + <head> + <link rel="stylesheet" type="text/css" href="/style.css"/> + </head> + <body dynClass={b <- signal toggle; + return (if b then style1 else style2)} + dynStyle={b <- signal toggle; + return (if b then STYLE "margin: 100px" else STYLE "")}> + Body + <button onclick={fn _ => b <- get toggle; set toggle (not b)}>TOGGLE</button> + </body> + </xml>