Postgres Pro
Downloads
Home   >   mailing lists

Thread: "Disconnect from server"

"Disconnect from server"

From
Anthony DeBarros
Date:
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.

Best, and thanks for your ongoing work.
Anthony DeBarros

Re: "Disconnect from server"

From
Khushboo Vashi
Date:


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