if ( namespaceRoot != null ) {
textBox.setText(namespaceRoot);
}
popup.getButtonsPanel().insert(
new PushButton("OK", new ClickListener() {
public void onClick(Widget sender) {
String str = textBox.getText().trim();
_processAccept(str, popup);
}
})
, 0
);
if ( userGiven ) {
popup.getButtonsPanel().insert(
new PushButton("Revert to default", new ClickListener() {
public void onClick(Widget sender) {
userGiven = false;
namespaceRoot = defaultNameSpace;
update();
popup.hide();