"Disconnect from server"

From: Anthony DeBarros <anthonymdebarros(at)gmail(dot)com>
To: pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org>
Subject: "Disconnect from server"
Date: 2022-02-11 15:53:06
Message-ID: CACJO+64KOmrTeiczAzSY80Ycgp1gxw1DEircs8u_FcUz+08n5g@mail.gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgadmin-hackers

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

Responses

Browse pgadmin-hackers by date

  From Date Subject
Next Message Khushboo Vashi 2022-02-14 04:00:15 Re: "Disconnect from server"
Previous Message Akshay Joshi 2022-02-11 12:04:30 pgAdmin 4 commit: Updated supported platform in README