Setting Preferences in ProDiver

You can customize some ProDiver settings to suit your preferences. On the menu bar, select Window > Preferences. The following options are available.

Changing preference settings affects new and open dive windows.

NOTE: Preference settings can be overridden using various edit features.