From: | Khushboo Vashi <khushboo(dot)vashi(at)enterprisedb(dot)com> |
---|---|
To: | Anthony DeBarros <anthonymdebarros(at)gmail(dot)com> |
Cc: | pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org> |
Subject: | Re: "Disconnect from server" |
Date: | 2022-02-14 04:00:15 |
Message-ID: | CAFOhELd0aFBcmuU8K0fD5FD2Y+WjfmR43Fi8azDKXVdNV7r78g@mail.gmail.com |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgadmin-hackers |
On Fri, Feb 11, 2022 at 9:23 PM Anthony DeBarros <anthonymdebarros(at)gmail(dot)com>
wrote:
> Hi, hackers,
>
> I was happy to see the menu item Disconnect Server renamed to Disconnect
> from server. That one always scared me a little as a newer user, and the
> rename makes it more explicit.
>
> Wondering whether it also makes sense to rename Disconnect Database to
> Disconnect from database? Seems like a similar operation and context?
>
> I can make a ticket if you agree.
>
Please do.
>
> Best, and thanks for your ongoing work.
> Anthony DeBarros
>
From | Date | Subject | |
---|---|---|---|
Next Message | Khushboo Vashi | 2022-02-14 05:32:10 | Re: [pgAdmin4][Patch] - PostgreSQL deployment on Amazon RDS |
Previous Message | Anthony DeBarros | 2022-02-11 15:53:06 | "Disconnect from server" |