comparison demo/more/versioned1.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 166ea3944b91
children
comparison
equal deleted inserted replaced
1783:5bc4fbf9c0fe 1784:e6bc6bbd7a32
41 <dyn signal={ks <- signal ks; 41 <dyn signal={ks <- signal ks;
42 return (List.mapX (fn kr => <xml><div> 42 return (List.mapX (fn kr => <xml><div>
43 {[kr.Key]}: 43 {[kr.Key]}:
44 <ctextbox source={kr.Nam}/> 44 <ctextbox source={kr.Nam}/>
45 <ctextbox size={5} source={kr.ShoeSize}/> 45 <ctextbox size={5} source={kr.ShoeSize}/>
46 <button value="Latest" onclick={ro <- rpc (current {Id = kr.Key}); 46 <button value="Latest" onclick={fn _ => ro <- rpc (current {Id = kr.Key});
47 case ro of 47 case ro of
48 None => alert "Can't get it!" 48 None => alert "Can't get it!"
49 | Some r => 49 | Some r =>
50 set kr.Nam r.Nam; 50 set kr.Nam r.Nam;
51 set kr.ShoeSize (show r.ShoeSize)}/> 51 set kr.ShoeSize (show r.ShoeSize)}/>
52 <button value="Update" onclick={name <- get kr.Nam; 52 <button value="Update" onclick={fn _ => name <- get kr.Nam;
53 shoeSize <- get kr.ShoeSize; 53 shoeSize <- get kr.ShoeSize;
54 rpc (update {Id = kr.Key, 54 rpc (update {Id = kr.Key,
55 Nam = name, 55 Nam = name,
56 ShoeSize = readError shoeSize}) 56 ShoeSize = readError shoeSize})
57 }/> 57 }/>
58 </div></xml>) ks)}/> 58 </div></xml>) ks)}/>
59 59
60 <h2>Add one:</h2> 60 <h2>Add one:</h2>
61 61
62 <table> 62 <table>
63 <tr><th>Id:</th> <td><ctextbox size={5} source={id}/></td></tr> 63 <tr><th>Id:</th> <td><ctextbox size={5} source={id}/></td></tr>
64 <tr><th>Name:</th> <td><ctextbox source={name}/></td></tr> 64 <tr><th>Name:</th> <td><ctextbox source={name}/></td></tr>
65 <tr><th>Shoe size:</th> <td><ctextbox size={5} source={shoeSize}/></td></tr> 65 <tr><th>Shoe size:</th> <td><ctextbox size={5} source={shoeSize}/></td></tr>
66 <tr><th><button value="Add" onclick={id <- get id; 66 <tr><th><button value="Add" onclick={fn _ => id <- get id;
67 name <- get name; 67 name <- get name;
68 shoeSize <- get shoeSize; 68 shoeSize <- get shoeSize;
69 rpc (insert {Id = readError id, Nam = name, 69 rpc (insert {Id = readError id, Nam = name,
70 ShoeSize = readError shoeSize}); 70 ShoeSize = readError shoeSize});
71 71
72 cur <- get ks; 72 cur <- get ks;
73 kr <- expandKey (readError id); 73 kr <- expandKey (readError id);
74 set ks (kr :: cur)}/></th></tr> 74 set ks (kr :: cur)}/></th></tr>
75 </table> 75 </table>
76 76
77 <h2>Archive</h2> 77 <h2>Archive</h2>
78 78
79 {List.mapX (fn (vr, tm) => <xml><li><a link={retro vr}>{[tm]}</a></li></xml>) times} 79 {List.mapX (fn (vr, tm) => <xml><li><a link={retro vr}>{[tm]}</a></li></xml>) times}