Add and edit Servers
If you're using only one server, you can edit your configuration with file -> settings.
If you have more than one server you had to use the add new server item of the server menu.
You will get a listbox in that there are all servers listed:
By double clicking on an entry, you can edit the settings of the server.