User Guide - MKS

Chapter 3: Getting Started Using Source Integrity
Command
Preferences
48
TIP
To edit a previously configured server, select it from the Server list and click
Edit. The Edit server connection dialog box appears. Edit the server details as
required and click OK to save your changes.
To delete a previously configured server, select it from the Server list and click
Delete. The server disappears from the Server list.
The Commands tab in the Preferences dialog box contains default settings
for Source Integrity commands. Default settings can always be overridden
for individual commands at the time of their use.
Some preferences may be enforced by the server and not available for
configuration. For information on server side preferences, see your
administrator.
To set command preferences in the graphical user interface
1 From the Preferences dialog box, click the Commands tab.
The Commands panel appears.
u s e r g u i d e