// Parameters (if applicable)
if (operationHistory.getParameters() != null) {
EnhancedVLayout parametersSection = new EnhancedVLayout();
Label title = new Label("<h4>" + MSG.view_operationHistoryDetails_parameters() + "</h4>");
title.setHeight(27);
parametersSection.addMember(title);
OperationDefinition operationDefinition = operationHistory.getOperationDefinition();
ConfigurationDefinition parametersConfigurationDefinition = operationDefinition
.getParametersConfigurationDefinition();
if (parametersConfigurationDefinition != null
&& !parametersConfigurationDefinition.getPropertyDefinitions().isEmpty()) {
ConfigurationEditor editor = new ConfigurationEditor(parametersConfigurationDefinition,
operationHistory.getParameters());
editor.setReadOnly(true);
parametersSection.addMember(editor);
} else {
Label noParametersLabel = new Label("This operation does not take any parameters.");
noParametersLabel.setHeight(17);
parametersSection.addMember(noParametersLabel);
}
addMember(parametersSection);
}