Mercurial > urweb
comparison demo/noisy.ur @ 1784:e6bc6bbd7a32
Update demo code for key/mouse handler change
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 21 Jul 2012 10:12:35 -0400 |
parents | ed06e25c70ef |
children |
comparison
equal
deleted
inserted
replaced
1783:5bc4fbf9c0fe | 1784:e6bc6bbd7a32 |
---|---|
30 aAdd <- source ""; | 30 aAdd <- source ""; |
31 | 31 |
32 idDel <- source ""; | 32 idDel <- source ""; |
33 | 33 |
34 return <xml><body> | 34 return <xml><body> |
35 <button value="Check values of 1, 2, and 3" onclick={check (Cons (1, Cons (2, Cons (3, Nil))))}/><br/> | 35 <button value="Check values of 1, 2, and 3" onclick={fn _ => check (Cons (1, Cons (2, Cons (3, Nil))))}/><br/> |
36 <br/> | 36 <br/> |
37 <button value="Add" onclick={id <- get idAdd; a <- get aAdd; rpc (add (readError id) a)}/> | 37 <button value="Add" onclick={fn _ => id <- get idAdd; a <- get aAdd; rpc (add (readError id) a)}/> |
38 <ctextbox source={idAdd}/> | 38 <ctextbox source={idAdd}/> |
39 <ctextbox source={aAdd}/><br/> | 39 <ctextbox source={aAdd}/><br/> |
40 <br/> | 40 <br/> |
41 <button value="Delete" onclick={id <- get idDel; rpc (del (readError id))}/> | 41 <button value="Delete" onclick={fn _ => id <- get idDel; rpc (del (readError id))}/> |
42 <ctextbox source={idDel}/> | 42 <ctextbox source={idDel}/> |
43 </body></xml> | 43 </body></xml> |