Package ptolemy.backtrack.eclipse.plugin.preferences

Preferences of the Eclipse plugin.

See:
Description

Class Summary

BacktrackingPreferencePage	The class to create the backtracking preference page.
EditorPreferencePage	The class to create the editor preference page.
PreferenceConstants	A set of keys as preference indices.
PreferenceInitializer	Initializer for the default values of backtracking preferences.
PtolemyPreferencePage	The class to create the Ptolemy preference page.
SectionPreferencePage	The superclass for preference pages with multiple sections.

Package ptolemy.backtrack.eclipse.plugin.preferences Description

Preferences of the Eclipse plugin. The preferences can be accessed either in the Ptolemy menu or in the standard Eclipse preference dialog.

Since:

Ptolemy II 6.1