# HG changeset patch
# User Karn Kallio <kkallio@eka>
# Date 1303105839 16200
# Node ID 1be573ac8e2b55e1079923c4ccdc92ab6e5b36bf
# Parent  5d6337df5ec7cd381a2665bd2218f43a70d87e20
Add some formatting options to the user control xml.

diff -r 5d6337df5ec7 -r 1be573ac8e2b src/ur/openidUser.ur
--- a/src/ur/openidUser.ur	Sun Apr 17 13:15:10 2011 -0400
+++ b/src/ur/openidUser.ur	Mon Apr 18 01:20:39 2011 -0430
@@ -28,6 +28,9 @@
                  val realm : option string
                  val formClass : css_class
                  val fakeId : option string
+
+                 val ctlDisplay : {User : {Status : xbody, Other : xbody},
+                                   Guest : {Status : xbody, Other : xbody}}
              end) = struct
 
     type user = string
@@ -296,10 +299,10 @@
             cur <- current;
             here <- currentUrl;
             case cur of
-                Some cur => return {Status = <xml>Logged in as {[cur]}.</xml>,
-                                    Other = <xml><a link={logout ()}>Log out</a></xml>}
-              | None => return {Status = <xml><form><textbox{#User}/> <submit value="Log In" action={logon (show here)}/></form></xml>,
-                                Other = <xml><a link={signup (show here)}>Sign up</a></xml>}
+                Some cur => return {Status = <xml>{M.ctlDisplay.User.Status}{[cur]}</xml>,
+                                    Other = <xml><a link={logout ()}>{M.ctlDisplay.User.Other}</a></xml>}
+              | None => return {Status = <xml>{M.ctlDisplay.Guest.Status}<form><textbox{#User}/> <submit value="Log In" action={logon (show here)}/></form></xml>,
+                                Other = <xml><a link={signup (show here)}>{M.ctlDisplay.Guest.Other}</a></xml>}
         end
 
     task periodic 60 = fn () => dml (DELETE FROM session
diff -r 5d6337df5ec7 -r 1be573ac8e2b src/ur/openidUser.urs
--- a/src/ur/openidUser.urs	Sun Apr 17 13:15:10 2011 -0400
+++ b/src/ur/openidUser.urs	Mon Apr 18 01:20:39 2011 -0430
@@ -66,6 +66,10 @@
                  (* If set, this string is always accepted as a verified
                   * identifier, which can be useful during development (say,
                   * when you're off-network). *)
+                  
+                 val ctlDisplay : {User : {Status : xbody, Other : xbody},
+                                   Guest : {Status : xbody, Other : xbody}}
+                 (* These help formatting the user status controls *)
              end) : sig
 
     type user