diff src/ur/openidUser.urs @ 33:43f921ee8ee5

Add some formatting options to the user control xml.
author Karn Kallio <kkallio@eka>
date Mon, 18 Apr 2011 01:20:39 -0430
parents 1be573ac8e2b
children 90b8ce9be9f5 a5574ec3991f
line wrap: on
line diff
--- a/src/ur/openidUser.urs	Thu Feb 24 17:29:45 2011 -0500
+++ 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