/** Overridden to return the correct value for the TEXT property. */
public Object getValue(String key) {
PrefProxy prefs = getCurrentPrefs();
if (key.equals(TEXT)) {
if (prefs.getProperty(cmdid.preference) == null) return cmdid.defaultValue;
else return prefs.getProperty(cmdid.preference);
}
return super.getValue(key);
}
/** Overridden to properly save the TEXT property's value. */
public void putValue(String key, Object value) {
PrefProxy prefs = getCurrentPrefs();
if (key.equals(TEXT)) prefs.setProperty(cmdid.preference, (String) value);
super.putValue(key, value);
}
