/**
* Sets the preference manager associated with this property sheet. This is necessary for
* localization and determining extended properties.
*
* @param manager the preference manager
*/
public void setPrefs(PrefsManager manager) {
props.setPrefs(manager);
}
