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