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