I think it is very nice, Keelhaul. This is indeed what we (you/I) had envisioned, right? Really this is what I had thought when writing the ticket - no more or less that that.\\\\ It seems intuitive to me that among the boxes already checked, those that cannot be un-checked are inherited and those that can be un-checked pertain to the present role. In the case of multiple inheritance of roles we will not know necessarily what privilege was inherited from which role... but at least with this patch we do know all of the privileges assigned to a role from looking at one page. \\\\ Nice work and thanks, Keelhaul.
It'd be nice if the inherited privs could also have greyed out checkboxes to avoid any confusion.