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