Generates a GUID and copies it to the clipboard.
Switch to a different server
Disconnects from the current server.
Opens a dialog where general and module-specific settings can be made. On the left-hand side, select the areas where you would like to make changes; the settings will be shown in the right-hand area. Press F1 or the "Help" button if you require more information about each of the settings.