/** Switch panel for which we want to change the toolbar. */
public void actionPerformed(ActionEvent e) {
int id = ((KeyValue) ((JComboBox) e.getSource()).getSelectedItem()).getKey();
if (id == -1) {
confPanel.setToolbar(null, ((GuiManagerD) app.getGuiManager()).getToolbarDefinition());
} else {
DockPanel panel =
((GuiManagerD) app.getGuiManager()).getLayout().getDockManager().getPanel(id);
confPanel.setToolbar(panel, panel.getToolbarString());
}
}
/** Applies changes to the toolbar */
void apply() {
confPanel.apply();
app.updateToolBar();
app.setUnsaved();
}
