Mercurial > openid
comparison 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 |
comparison
equal
deleted
inserted
replaced
29:35d06874bec4 | 33:43f921ee8ee5 |
---|---|
64 | 64 |
65 val fakeId : option string | 65 val fakeId : option string |
66 (* If set, this string is always accepted as a verified | 66 (* If set, this string is always accepted as a verified |
67 * identifier, which can be useful during development (say, | 67 * identifier, which can be useful during development (say, |
68 * when you're off-network). *) | 68 * when you're off-network). *) |
69 | |
70 val ctlDisplay : {User : {Status : xbody, Other : xbody}, | |
71 Guest : {Status : xbody, Other : xbody}} | |
72 (* These help formatting the user status controls *) | |
69 end) : sig | 73 end) : sig |
70 | 74 |
71 type user | 75 type user |
72 val eq_user : eq user | 76 val eq_user : eq user |
73 val show_user : show user | 77 val show_user : show user |