Mercurial > urweb
diff tests/dynClass.ur @ 1751:acadf9d1214a
'dynStyle' pseudo-attribute
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 06 May 2012 15:15:46 -0400 |
| parents | b0720700c36e |
| children | 2b2d07946e65 |
line wrap: on
line diff
--- a/tests/dynClass.ur Sun May 06 14:01:29 2012 -0400 +++ b/tests/dynClass.ur Sun May 06 15:15:46 2012 -0400 @@ -1,21 +1,31 @@ -style s1 -style s2 +style date +style topic 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"/> + <link rel="stylesheet" type="text/css" href="http://adam.chlipala.net/style.css"/> </head> <body> - <button dynClass={signal src} onclick={set src s2}/> + <button dynClass={b <- signal toggle; + return (if b then date else topic)} + dynStyle={b <- signal toggle; + return (if b then + STYLE "width: 500px" + else + STYLE "width: 200px")} + onclick={b <- get toggle; set toggle (not b)}/> - <hr/> - - <ctextbox source={s} dynClass={t <- signal toggle; - return (if t then s1 else s2)} - onkeyup={fn _ => t <- get toggle; set toggle (not t)}/> + <button dynStyle={b <- signal toggle; + return (if b then + STYLE "width: 200px" + else + STYLE "width: 100px")}/> + <button dynClass={b <- signal toggle; + return (if b then + topic + else + date)}/> </body> </xml>