Skip navigation links

Package ptolemy.backtrack.eclipse.plugin.preferences

Preferences of the Eclipse plugin.

See: Description

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
Skip navigation links