356357358359360361362363364365366
// Highlighting { TreeItem root = menu.addItem("Highlighting & Selection"); mapOption(root.addItem("Row Selection Policy"), new RowSelectionPolicyOption()); } // Sorting { TreeItem root = menu.addItem("Column Sorting");