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.