| changeset 12731 | 31d719ce8c64 |
| parent 12680 | 3ab3ef9584e3 |
| child 12793 | 517b5702c5a1 |
| 12730:9f100ab9ffdf | 12731:31d719ce8c64 |
|---|---|
946 title = "Role"; |
946 title = "Role"; |
947 description = "Session role"; |
947 description = "Session role"; |
948 width = 20; |
948 width = 20; |
949 key = "role"; |
949 key = "role"; |
950 mapper = function(role) |
950 mapper = function(role) |
951 return role.name; |
951 return role and role.name; |
952 end; |
952 end; |
953 } |
953 } |
954 }; |
954 }; |
955 |
955 |
956 local function get_colspec(colspec, default) |
956 local function get_colspec(colspec, default) |