# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1342880180 14400
# Node ID 77fa1fac2c7ea834f9eddf82f2a9c76be455e62b
# Parent  d252edfbfa0ee3c84a19f4e83105574a43eeb533
Update for key/mouse handler change

diff -r d252edfbfa0e -r 77fa1fac2c7e src/ur/openidUser.ur
--- a/src/ur/openidUser.ur	Wed Oct 26 09:07:48 2011 -0400
+++ b/src/ur/openidUser.ur	Sat Jul 21 10:16:20 2012 -0400
@@ -204,12 +204,12 @@
                         <tr> <td><dyn signal={b <- M.ready cs;
                                               return (if b then
                                                           <xml><button value="Create Account"
-                                                                       onclick={uid <- get uid;
-                                                                                data <- Basis.current (M.tabulate cs);
-                                                                                res <- rpc (finishSignup uid data);
-                                                                                case res of
-                                                                                    None => redirect (bless after)
-                                                                                  | Some msg => alert msg}/></xml>
+                                                                       onclick={fn _ => uid <- get uid;
+                                                                                   data <- Basis.current (M.tabulate cs);
+                                                                                   res <- rpc (finishSignup uid data);
+                                                                                   case res of
+                                                                                       None => redirect (bless after)
+                                                                                     | Some msg => alert msg}/></xml>
                                                       else
                                                           <xml/>)}/></td> </tr>
                       </table>