super.initOptions(menu);
// Paging
{
TreeItem root = menu.addItem("Paging");
mapOption(root.addItem("Page Size"), new PageSizeOption());
mapOption(root.addItem("Cache Size"), new CacheSizeOption());
mapOption(root.addItem("Hide Columns"), new HideColumnOption());
mapOption(root.addItem("Cross Page Selection"),
new CrossPageSelectionOption());
mapOption(root.addItem("Mode Selection"), new ModeSelectionOption());