Preferences command (Settings menu)

Changes PureCoverage's preferences. PureCoverage uses preferences to control the presentation of windows and data.

(C) Copyright IBM Corporation 1993, 2010.