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