addAttribute( constants.optionalValueList(),
vl );
final TextBox header = new TextBox();
header.setText( col.getHeader() );
header.addChangeHandler( new ChangeHandler() {
public void onChange(ChangeEvent event) {
editingCol.setHeader( header.getText() );
}
} );
addAttribute( constants.ColumnHeaderDescription(),