Package edu.stanford.hci.dtools.preferences

Class Summary
DtoolsPreferencePage This class represents a preference page that is contributed to the Preferences dialog.
PreferenceConstants Constant definitions for plug-in preferences
PreferenceInitializer Class used to initialize default preference values.