/** * 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); }