Dear pgadmin users, is the possibility to modify role properties (e.g. membership) through the role/group role dialog not yet implemented? If select "properties" from the context menu of any role, I can only see the General and Definition tabs.
Thanks, Michael
