{
Server server = ( Server ) selection.getFirstElement();
PreferenceDialog dialog = PreferencesUtil.createPropertyDialogOn( view.getViewSite().getShell(),
server, ServerPropertyPage.ID, null, null );
dialog.getShell().setText( "Properties for '" + shorten( server.getName(), 30 ) + "'" );
dialog.open();
}
}
}