public void actionPerformed(ActionEvent e) {
super.actionPerformed(e);
JMenuItem jmi = (JMenuItem) e.getSource();
if (displayset.contains(jmi)) {
mainPanel.setNames(jmi.getText());
} else if (jmi == hiddenItem) {
mainPanel.showIgnored(hiddenItem.isSelected());
} else if (jmi == aggrItem) {
mainPanel.showAggregates(aggrItem.isSelected());
}
}
