Uses of Class
ptolemy.actor.gui.PtolemyPreferences

Packages that use PtolemyPreferences

Package	Description
ptolemy.actor.gui	Ptolemy GUI components for actors and configurations.

Uses of PtolemyPreferences in ptolemy.actor.gui

Methods in ptolemy.actor.gui that return PtolemyPreferences

Modifier and Type	Method and Description
static PtolemyPreferences	PtolemyPreferences.getPtolemyPreferencesWithinConfiguration(Configuration configuration) Get the PtolemyPreferences within the specified configuration.