Postgres Pro
Downloads
Home   >   mailing lists

Re: "Disconnect from server" - Mailing list pgadmin-hackers

From Khushboo Vashi
Subject Re: "Disconnect from server"
Date
Msg-id CAFOhELd0aFBcmuU8K0fD5FD2Y+WjfmR43Fi8azDKXVdNV7r78g@mail.gmail.com
Whole thread Raw
In response to "Disconnect from server"  (Anthony DeBarros <anthonymdebarros@gmail.com>)
List pgadmin-hackers
Tree view


On Fri, Feb 11, 2022 at 9:23 PM Anthony DeBarros <anthonymdebarros@gmail.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

pgadmin-hackers by date:

Previous
From: Anthony DeBarros
Date:
Subject: "Disconnect from server"
Next
From: Khushboo Vashi
Date:
Subject: Re: [pgAdmin4][Patch] - PostgreSQL deployment on Amazon RDS