/** * Gets the preference manager associated with this property sheet. * * @return the preference manager */ public PrefsManager getPrefs() { return props.getPrefs(); }