public void setDescription(String desc) { if (isUserDefined()) { this.desc = desc; if (manager!=null) manager.notifyPropertyChange(this); } }
public void setLabel(String label) { if (isUserDefined()) { this.label = label; if (manager!=null) manager.notifyPropertyChange(this); } }
private void treeSelectionChanged(Object obj) { boolean removable = false; if (obj instanceof ScopePreferenceManager.EnginePreferenceNode) { ScopePreferenceManager.EnginePreferenceNode node = (ScopePreferenceManager.EnginePreferenceNode)obj; EngineDescriptor desc = node.getDescriptor(); removable = desc.isUserDefined(); } getButton(DELETE_ID).setEnabled(removable); }
public String computeNewId(String typeId) { ArrayList used = new ArrayList(); for (int i=0; i<descriptors.size(); i++) { EngineDescriptor ed = (EngineDescriptor)descriptors.get(i); if (!ed.isUserDefined()) continue; String edTypeId = ed.getEngineTypeId(); if (typeId.equals(edTypeId)) { String edId = ed.getId(); int loc = edId.lastIndexOf('.'); if (loc!= -1) { String cvalue = edId.substring(loc+1); int ivalue = Integer.parseInt(cvalue); used.add(new Integer(ivalue)); } } } for (int i=1; i<Integer.MAX_VALUE; i++) { if (!isUsed(i, used)) { return typeId+"."+"user."+i; //$NON-NLS-1$ //$NON-NLS-2$ } } return typeId; }
for (int i = 0; i < descriptors.size(); i++) { EngineDescriptor desc = (EngineDescriptor) descriptors.get(i); if (desc.isUserDefined()) { save(writer, desc);