Re: default role privileges

I ran this in one of my databases

ALTER DEFAULT PRIVILEGES FOR ROLE some_role REVOKE EXECUTE ON FUNCTIONS
FROM PUBLIC:

I can not see this default privilege anywhere in PgAdmin4 (nor in PgAdmin3).
I see no default privileges for roles on the SQL for the role.
I do see default privileges on the SQL for the database itself, but not the
one I added above.
(Also, the last example on the help page show creating an EDB role, but the
discussion below talks about a role called "alice")

On Sun, May 12, 2019 at 11:56 PM Khushboo Vashi <
khushboo(dot)vashi(at)enterprisedb(dot)com> wrote:

>
>
> On Sun, May 12, 2019 at 7:42 PM Michael Shapiro <mshapiro51(at)gmail(dot)com>
> wrote:
>
>> Where in PgAdmin4 can I see (and set) default privileges for a role?
>>
> Please refer
> https://www.pgadmin.org/docs/pgadmin4/4.x/role_dialog.html?highlight=Privileges
>
>