TPTP 4.5.0 Platform Project
Internal API Specification

Package org.eclipse.tptp.platform.llc.ui.internal.preferences

Class Summary
CoveragePreference  
CoveragePreferenceConstants Constant definitions for plug-in preferences
CoveragePreferenceInitializer Class used to initialize default preference values.
CoveragePreferenceModifyListener  
CoveragePreferencePage This class represents a preference page that is contributed to the Preferences dialog.
 


TPTP 4.5.0 Platform Project
Internal API Specification