comparison src/ur/openidUser.ur @ 62:77fa1fac2c7e

Update for key/mouse handler change
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 10:16:20 -0400
parents 3113591ba7f0
children 089ad1d33e2f
comparison
equal deleted inserted replaced
61:d252edfbfa0e 62:77fa1fac2c7e
202 <tr> <th class={M.formClass}>Username:</th> <td><ctextbox source={uid}/></td> </tr> 202 <tr> <th class={M.formClass}>Username:</th> <td><ctextbox source={uid}/></td> </tr>
203 {M.render cs} 203 {M.render cs}
204 <tr> <td><dyn signal={b <- M.ready cs; 204 <tr> <td><dyn signal={b <- M.ready cs;
205 return (if b then 205 return (if b then
206 <xml><button value="Create Account" 206 <xml><button value="Create Account"
207 onclick={uid <- get uid; 207 onclick={fn _ => uid <- get uid;
208 data <- Basis.current (M.tabulate cs); 208 data <- Basis.current (M.tabulate cs);
209 res <- rpc (finishSignup uid data); 209 res <- rpc (finishSignup uid data);
210 case res of 210 case res of
211 None => redirect (bless after) 211 None => redirect (bless after)
212 | Some msg => alert msg}/></xml> 212 | Some msg => alert msg}/></xml>
213 else 213 else
214 <xml/>)}/></td> </tr> 214 <xml/>)}/></td> </tr>
215 </table> 215 </table>
216 </xml> 216 </xml>
217 end 217 end