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>