public void reset() {
if (settingsForm != null) {
settingsForm.loadState(JFlexSettings.getInstance());
}
}
public boolean isModified() {
return settingsForm != null && settingsForm.isModified(JFlexSettings.getInstance());
}
public void apply() throws ConfigurationException {
if (settingsForm != null) {
JFlexSettings.getInstance().loadState(settingsForm.getState());
}
}
public JComponent createComponent() {
if (settingsForm == null) {
settingsForm = new JFlexSettingsForm(JFlexSettings.getInstance());
}
return settingsForm.getFormComponent();
}