Re: "Disconnect from server"

Поиск
Список
Период
Сортировка
От Khushboo Vashi
Тема Re: "Disconnect from server"
Дата
Msg-id CAFOhELd0aFBcmuU8K0fD5FD2Y+WjfmR43Fi8azDKXVdNV7r78g@mail.gmail.com
обсуждение исходный текст
Ответ на "Disconnect from server"  (Anthony DeBarros <anthonymdebarros@gmail.com>)
Список pgadmin-hackers
Дерево обсуждения


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 по дате отправления:

Предыдущее
От: Anthony DeBarros
Дата:
Сообщение: "Disconnect from server"
Следующее
От: Khushboo Vashi
Дата:
Сообщение: Re: [pgAdmin4][Patch] - PostgreSQL deployment on Amazon RDS