scrollTable.setColumnWidth(column, width);
}
} else if (sender == stretchButton) {
// Stretch to fit contents
int column = Integer.parseInt(columnIndexBox.getText());
scrollTable.autoFitColumnWidth(column);
} else if (sender == hideButton) {
// Hide a column
Window.alert("Feature not available");
} else if (sender == showButton) {
// Show a column