Mercurial > openid
diff src/ur/openidUser.urs @ 31:1be573ac8e2b
Add some formatting options to the user control xml.
author | Karn Kallio <kkallio@eka> |
---|---|
date | Mon, 18 Apr 2011 01:20:39 -0430 |
parents | fcd3a977d77b |
children | 90b8ce9be9f5 a5574ec3991f |
line wrap: on
line diff
--- 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