diff tests/focus.ur @ 1785:ffd7ed3bc0b7

Basis.giveFocus
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 11:59:41 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/focus.ur	Sat Jul 21 11:59:41 2012 -0400
@@ -0,0 +1,14 @@
+fun main () : transaction page =
+    id1 <- fresh;
+    id2 <- fresh;
+    s1 <- source "";
+    s2 <- source "";
+    which <- source False;
+
+    return <xml><body>
+      <ctextbox id={id1} source={s1}/>
+      <ctextbox id={id2} source={s2}/>
+      <button onclick={fn _ => w <- get which;
+                          set which (not w);
+                          giveFocus (if w then id1 else id2)}/>
+    </body></xml>