コード例 #1
0
 public ConfigurationSettingInfo() {
   newElementsConfigurable = ConfigurationSettings.getConfigurableNewElements();
   applyAutoGreyOut = ConfigurationSettings.getConfigurableAutoGreyout();
   allowBlockingInputPorts = ConfigurationSettings.getConfigurableBlockingInputPorts();
   allowChangingDefaultConfiguration = ConfigurationSettings.getConfigurableAllowDefaultChanges();
   wendyPath = ConfigurationSettings.getWendyFilePath();
   publishState(applyAutoGreyOut);
 }
コード例 #2
0
 public void setApplyAutoGreyOut(boolean selected) {
   if (applyAutoGreyOut != selected) {
     applyAutoGreyOut = selected;
     ConfigurationSettings.setConfigurableAutoGreyout(selected);
     publishState(selected);
   }
 }
コード例 #3
0
 public void setWendyPath(String path) {
   wendyPath = path;
   ConfigurationSettings.setWendyFilePath(path);
 }
コード例 #4
0
 public void setAllowChangingDefaultConfiguration(boolean setting) {
   allowChangingDefaultConfiguration = setting;
   ConfigurationSettings.setConfigurableAllowDefaultChanges(setting);
 }
コード例 #5
0
 public void setAllowBlockingInputPorts(boolean setting) {
   allowBlockingInputPorts = setting;
   ConfigurationSettings.setConfigurableBlockingInputPorts(setting);
 }
コード例 #6
0
 public void setNewElementsConfigurable(boolean setting) {
   newElementsConfigurable = setting;
   ConfigurationSettings.setConfigurableNewElements(setting);
 }