scrollTable.setScrollPolicy(ScrollPolicy.HORIZONTAL);
} else if (policy.equals("both")) {
scrollTable.setScrollPolicy(ScrollPolicy.BOTH);
}
} else if (sender == redrawButton) {
scrollTable.redraw();
} else if (sender == heightWidthButton) {
DOM.setStyleAttribute(scrollTable.getElement(),
heightWidthBox.getValue(heightWidthBox.getSelectedIndex()),
heightWidthText.getText());
} else if (sender == minWidthButton) {