Show generated WSDL - in this view, you can modify the server parameter Settings or point to a different server.

This parameter determines the view that is to be shown, and the client's preferred format (HTML for instance).

To view the properties of parameters, right-click on the parameter and select properties.