comparison 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
comparison
equal deleted inserted replaced
30:5d6337df5ec7 31:1be573ac8e2b
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