ptolemy.backtrack.eclipse.plugin.preferences

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