Disconnect server

Click on the hilighted button next to the name of the server connection to disconnect from the server and to remove it from the navigation menu's display. Existing collection-tabs of this server's connection remain open and can still be used.