public ConfigurationSettingInfo() {
newElementsConfigurable = ConfigurationSettings.getConfigurableNewElements();
applyAutoGreyOut = ConfigurationSettings.getConfigurableAutoGreyout();
allowBlockingInputPorts = ConfigurationSettings.getConfigurableBlockingInputPorts();
allowChangingDefaultConfiguration = ConfigurationSettings.getConfigurableAllowDefaultChanges();
wendyPath = ConfigurationSettings.getWendyFilePath();
publishState(applyAutoGreyOut);
}
public void setApplyAutoGreyOut(boolean selected) {
if (applyAutoGreyOut != selected) {
applyAutoGreyOut = selected;
ConfigurationSettings.setConfigurableAutoGreyout(selected);
publishState(selected);
}
}
public void setWendyPath(String path) {
wendyPath = path;
ConfigurationSettings.setWendyFilePath(path);
}
public void setAllowChangingDefaultConfiguration(boolean setting) {
allowChangingDefaultConfiguration = setting;
ConfigurationSettings.setConfigurableAllowDefaultChanges(setting);
}
public void setAllowBlockingInputPorts(boolean setting) {
allowBlockingInputPorts = setting;
ConfigurationSettings.setConfigurableBlockingInputPorts(setting);
}
public void setNewElementsConfigurable(boolean setting) {
newElementsConfigurable = setting;
ConfigurationSettings.setConfigurableNewElements(setting);
}