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
