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
