Configure settings

Use the Settings panel to set various preferences on how to use the tool. You can also view the versions of the tools that are used. Before you use the other functions of the tool, you must first configure the server settings.