protected void initOptions(Tree menu) {
// Setup
{
TreeItem root = menu.addItem("ScrollTable setup");
mapOption(root.addItem("Resize Checking"), new ResizeCheckingOption());
mapOption(root.addItem("Scroll Policy"), new ScrollPolicyOption());
mapOption(root.addItem("Table Size"), new TableSizeOption());
}
// Column Widths
{