This figure shows the Preferences dialog. On the left is a list of items. The Server item is expanded and selected. On the right is the Server pane. It contains check box Show Servers view when server state changes, which is checked. It contains check box Synchronize servers on workbench startup, which is not checked. It contains check box Automatically publish to local servers, which is checked. This check box is associated with field Publishing interval (in seconds) with value 5. The Server pane also contains check box Automatically publish to remote servers, which is checked. This check box is associated with field Publishing interval (in seconds) with value 60. The Server pane also contains check box Prompt before making irreversible changes within an editor, which is checked. The Server pane also contains buttons Restore Defaults and Apply.