{scrollbar}

This page describes various options to configure your development environment.

Editing a server configuration

In order to edit the configuration of a server, double click on server in the Servers view to open the overview of the server as shown below.



Other Configurations