/** 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(); }