faultPanelRight.add(faultPanel1);
final VerticalPanel detailsPanel = new VerticalPanel();
detailsPanel.setVisible(false);
faultPanel1.add(new HTML("<img align=\"absmiddle\" src=\"./images/details.png\" style=\"margin-left:8em;\" hspace=\"2\" />"));
final Hyperlink showDetails = new Hyperlink(GuiFactory.strings.showDetails(), "");
showDetails.addClickListener(new ClickListener() {
public void onClick(Widget sender) {
if (detailsPanel.isVisible()) {
detailsPanel.setVisible(false);
showDetails.setText(GuiFactory.strings.showDetails());
}
else {
detailsPanel.setVisible(true);
showDetails.setText(GuiFactory.strings.hideDetails());
}
}
});
faultPanel1.add(showDetails);
HorizontalPanel faultPanel2 = new HorizontalPanel();
faultPanel2.add(new HTML(SyntaxHighlighter.highlight(WadlXml.fault_element + "=\"")));
final TextBox elementTextBox = new TextBox();
elementTextBox.addChangeListener(new ChangeListener() {
public void onChange(Widget sender) {
fault.updateElement(fault.getElement(), elementTextBox.getText());
}
});
elementTextBox.setText(fault.getElement());
faultPanel2.add(elementTextBox);
faultPanel2.add(new HTML(SyntaxHighlighter.highlight("\"")));
detailsPanel.add(faultPanel2);
HorizontalPanel faultPanel3 = new HorizontalPanel();
faultPanel3.add(new HTML(SyntaxHighlighter.highlight(WadlXml.fault_profile + "=\"")));
final TextBox profileTextBox = new TextBox();
profileTextBox.addChangeListener(new ChangeListener() {
public void onChange(Widget sender) {
fault.updateProfile(fault.getProfile(), profileTextBox.getText());
}
});
profileTextBox.setText(fault.getProfile());
faultPanel3.add(profileTextBox);
faultPanel3.add(new HTML(SyntaxHighlighter.highlight("\"")));
detailsPanel.add(faultPanel3);
faultPanelRight.add(detailsPanel);
HorizontalPanel faultEndPanel = new HorizontalPanel();
faultEndPanel.add(new HTML(SyntaxHighlighter.highlight("/>")));
Hyperlink removeFaultLink = new Hyperlink(GuiFactory.strings.remove(), true, "");
removeFaultLink.addClickListener(new ClickListener() {
public void onClick(Widget sender) {
if (parentNode instanceof ApplicationNode) {
((ApplicationNode) parentNode).removeFault(fault);
}
else if (parentNode instanceof ResponseNode) {