new TableResizePolicyOption());
mapOption(root.addItem("Column Resize Policy"),
new ColumnResizePolicyOption());
mapOption(root.addItem("Resize Column"), new ResizeColumnOption());
mapOption(root.addItem("Cell Padding and Spacing"),
new CellPaddingAndSpacingOption());
}
// Highlighting
{
TreeItem root = menu.addItem("Highlighting & Selection");