/** Set the tool tip texts (used for language change, and at initialization labels). */
public void setLabels() {
btnColumns.setToolTipText(loc.getMenuTooltip("Columns"));
btnOptions.setToolTipText(loc.getMenuTooltip("Options"));
btnExport.setToolTipText(loc.getPlainTooltip("ExportAsWebpage"));
btnPrint.setToolTipText(loc.getMenuTooltip("Print"));
btnHelp.setToolTipText(loc.getMenuTooltip("FastHelp"));
miShowOnlyBreakpoints.setText(loc.getPlain("ShowOnlyBreakpoints"));
miColorfulConstructionProtocol.setText(loc.getPlain("ColorfulConstructionProtocol"));
}
/** 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();
}