box.setText(val);
box.addKeyboardListener(new KeyboardListenerAdapter() {
public void onKeyUp(Widget sender, char keyCode, int modifiers) {
if (keyCode == KeyboardListener.KEY_ENTER) {
r.set(dta, box.getText());
w.destroy();
}
}
});
if (dt.isNumeric(colConf, getSCE())) {