/** Handler for the "Rename..." button. */
private void renameConfig() {
InputDialog dlg =
new InputDialog(
tree.getTree().getShell(),
WorkingSetMessages.WSConfigsController_renameDlg_title,
WorkingSetMessages.WSConfigsController_renameDlg_msg,
currentConfig.getName(),
new IInputValidator() {
public String isValid(String newText) {
if (newText.equals(currentConfig.getName())) {
return ""; //$NON-NLS-1$
}
if (currentWorkingSet.getConfiguration(newText) != null) {
return WorkingSetMessages.WSConfigsController_addDlg_nameExists;
}
if (newText.length() == 0) {
return WorkingSetMessages.WSConfigsController_addDlg_emptyName;
}
return null;
}
});
if (dlg.open() == IDialogConstants.OK_ID) {
currentConfig.setName(dlg.getValue());
tree.refresh(currentWorkingSet);
}
}
