@Override
protected void doLoadDefault() {
int value = getPreferenceStore().getDefaultInt(getPreferenceName());
spinner.setSelection(new BigDecimal(value));
valueChanged();
}
@Override
protected void doLoad() {
int value = getPreferenceStore().getInt(getPreferenceName());
spinner.setSelection(new BigDecimal(value));
oldValue = value;
}
