}
}
protected void handleConfigureButtonSelected() {
int selectionIndex = serverCombo.getSelectionIndex();
Server server = servers.get(selectionIndex);
String serverName = server.getName();
Shell shell = PlatformUI.getWorkbench().getActiveWorkbenchWindow()
.getShell();
NullProgressMonitor monitor = new NullProgressMonitor();
ServerEditDialog dialog = new ServerEditDialog(shell, server);
if (dialog.open() == Window.CANCEL) {
monitor.setCanceled(true);
return;
}
ServersManager.save();
String newName = server.getName();
if (!newName.equals(serverName)) {
serverCombo.remove(selectionIndex);
serverCombo.add(newName, selectionIndex);
serverCombo.select(selectionIndex);
}