return true;
}
};
popup.setText("Table of terms in CSV format");
final TextArea textArea = popup.addTextArea(null);
textArea.setReadOnly(true);
textArea.setText(termTable.getCsv(null, ","));
textArea.setSize("800", "270");
VerticalPanel vp = new VerticalPanel();
vp.setSpacing(10);
popup.getDockPanel().add(vp, DockPanel.NORTH);
vp.add(new HTML(
"Select the separator character for your CSV formatted contents. "
)
);
CellPanel separatorPanel = new SeparatorPanel() {
public void onClick(Widget sender) {
super.onClick(sender);
textArea.setText(termTable.getCsv(null, getSelectedSeparator()));
}
};
vp.add(separatorPanel);
popup.center();