/** React to button presses. */
public void actionPerformed(ActionEvent e) {
if (e.getSource() == btnColumns) {
int selIndex = btnColumns.getSelectedIndex();
TableColumn column = cpView.getTableColumns()[selIndex];
ColumnKeeper colKeeper = cpView.new ColumnKeeper(column, cpView.getData().columns[selIndex]);
colKeeper.actionPerformed(e);
}
if (e.getSource() == btnOptions) {
if (btnOptions.getSelectedIndex() == 0) {
cpView.showOnlyBreakpointsAction();
} else if (btnOptions.getSelectedIndex() == 1) cpView.setUseColors(!cpView.getUseColors());
}
if (e.getSource() == btnExport) {
cpView.getExportHtmlAction().actionPerformed(e);
}
if (e.getSource() == btnPrint) {
cpView.getPrintPreviewAction().actionPerformed(e);
}
}
/** add the buttons */
protected void addButtons() {
// "columns" button
btnColumns =
new PopupMenuButtonD(app) {
private static final long serialVersionUID = 1L;
@Override
public boolean prepareToShowPopup() {
JCheckBoxMenuItem item;
removeAllMenuItems();
for (int k = 1; k < cpView.getTableColumns().length; k++) {
item = new JCheckBoxMenuItem(cpView.getData().getColumns()[k].getTranslatedTitle());
TableColumn column = cpView.getTableColumns()[k];
item.setSelected(cpView.isColumnInModel(column));
ColumnKeeper colKeeper = cpView.new ColumnKeeper(column, cpView.getData().columns[k]);
item.addActionListener(colKeeper);
btnColumns.addPopupMenuItem(item);
}
return true;
}
};
btnColumns.setKeepVisible(true);
btnColumns.setStandardButton(true); // mouse clicks over total button
// region
btnColumns.setIcon(app.getScaledIcon(GuiResourcesD.COLUMN_HEADER));
add(btnColumns);
addSeparator();
// options button
// PopupMenuButton without selection table, add JMenuItems directly.
btnOptions =
new PopupMenuButtonD(app) {
private static final long serialVersionUID = 1L;
@Override
public boolean prepareToShowPopup() {
miShowOnlyBreakpoints.setSelected(
app.getKernel().getConstruction().showOnlyBreakpoints());
miColorfulConstructionProtocol.setSelected(cpView.getUseColors());
return true;
}
};
btnOptions.setKeepVisible(true);
btnOptions.setStandardButton(true); // mouse clicks over total button
// region
btnOptions.setIcon(app.getScaledIcon(GuiResourcesD.DOCUMENT_PROPERTIES));
miShowOnlyBreakpoints = new JCheckBoxMenuItem(loc.getPlain("ShowOnlyBreakpoints"));
miShowOnlyBreakpoints.setSelected(app.getKernel().getConstruction().showOnlyBreakpoints());
miShowOnlyBreakpoints.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
cpView.showOnlyBreakpointsAction();
}
});
btnOptions.addPopupMenuItem(miShowOnlyBreakpoints);
miColorfulConstructionProtocol =
new JCheckBoxMenuItem(loc.getPlain("ColorfulConstructionProtocol"));
miColorfulConstructionProtocol.setSelected(cpView.getUseColors());
miColorfulConstructionProtocol.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
cpView.setUseColors(!cpView.getUseColors());
}
});
btnOptions.addPopupMenuItem(miColorfulConstructionProtocol);
add(btnOptions);
addSeparator();
// export button
btnExport = new JButton(app.getScaledIcon(GuiResourcesD.TEXT_HTML));
btnExport.setToolTipText(loc.getPlainTooltip("ExportAsWebpage"));
btnExport.addActionListener(this);
add(btnExport);
addSeparator();
// print button
btnPrint = new JButton(app.getScaledIcon(GuiResourcesD.DOCUMENT_PRINT_PREVIEW));
btnPrint.setToolTipText(loc.getPlainTooltip("Print"));
btnPrint.addActionListener(this);
add(btnPrint);
addSeparator();
// Help button
btnHelp = new JButton(app.getScaledIcon(GuiResourcesD.HELP));
// btnHelp.setToolTipText(loc.getPlainTooltip("FastHelp"));
btnHelp.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
Thread runner =
new Thread() {
@Override
public void run() {
app.getGuiManager().openHelp("Construction_Protocol");
}
};
runner.start();
}
});
add(btnHelp);
setLabels();
}