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.