// implement OptionsPanelController
@Override
public void applyChanges() {
if (termOptions == null) return; // update wasn't called
// assign will fire a property change
termOptions.assign(clonedTermOptions);
termOptions.storeTo(prefs);
}
// implement OptionsPanelController
@Override
public boolean isChanged() {
clonedTermOptions = termOptions.makeCopy();
if (clonedTermOptions == null) {
return false;
} else {
return clonedTermOptions.isDirty();
}
}
private void reset() {
termOptions = TermOptions.getDefault(prefs);
clonedTermOptions = termOptions.makeCopy();
panel.setTermOptions(clonedTermOptions);
}
