package art.servers.gui; import art.library.gui.flat.FlatButton; import art.library.gui.flat.FlatPanel; import art.library.gui.flat.FlatTabbedPane; import art.library.utils.resources.Resources; import art.servers.Shared; import art.servers.gui.components.PanelGeneric; import art.servers.gui.components.PanelProcess; import art.servers.gui.components.PanelTraces; import art.servers.gui.components.PanelTracesHistorical; import java.awt.BorderLayout; import java.awt.Dimension; import java.util.ArrayList; import java.util.List; import javax.swing.border.EmptyBorder; import javax.swing.event.ChangeEvent; import javax.swing.event.ChangeListener; public class ArticPanel extends PanelGeneric { public FlatTabbedPane flatTabbedPane = null; private List lPanel = new ArrayList(); private FlatButton buttonReload = null; private ArticWindow window = null; public PanelProcess panelSystem = null; public PanelTraces panelLogger = null; public PanelTraces panelTraces = null; public PanelTracesHistorical panelTracesHistorical = null; public ArticPanel(ArticWindow window) { this.window = window; flatTabbedPane = new FlatTabbedPane(); flatTabbedPane.allowTitleChange(false); flatTabbedPane.allowTitleChange(false); { panelSystem = new PanelProcess(window); lPanel.add(panelSystem); flatTabbedPane.addTab(Shared.getMessage("Process"), panelSystem); flatTabbedPane.addChangeListener(new MyChangeListener()); } { panelLogger = new PanelTraces(window); lPanel.add(panelLogger); flatTabbedPane.addTab(Shared.getMessage("Logger"), panelLogger); flatTabbedPane.addChangeListener(new MyChangeListener()); } flatTabbedPane.allowTitleChange(false); { panelTraces = new PanelTraces(window); lPanel.add(panelTraces); flatTabbedPane.addTab(Shared.getMessage("Traces"), panelTraces); flatTabbedPane.addChangeListener(new MyChangeListener()); } flatTabbedPane.allowTitleChange(false); { panelTracesHistorical = new PanelTracesHistorical(window); lPanel.add(panelTracesHistorical); flatTabbedPane.addTab(Shared.getMessage("Traces historical"), panelTracesHistorical); flatTabbedPane.addChangeListener(new MyChangeListener()); } buttonReload = new FlatButton(Shared.getMessage("&Reload")); buttonReload.setIcon(Resources.getResourceURL("data/art.library.server/icons/24x24/arrows.png")); buttonReload.setPreferredSize(new Dimension(buttonReload.getStringWidth(), 0)); buttonReload.addActionListener(new java.awt.event.ActionListener() { public void actionPerformed(java.awt.event.ActionEvent evt) { reload(); } }); buttonReload.revalidate(); window.addButtonMenu(buttonReload); window.addButtonSeparator(); this.setLayout(new BorderLayout()); FlatPanel panel1 = new FlatPanel(); panel1.setLayout(new BorderLayout()); panel1.setBorder(new EmptyBorder(10,5,5,5)); panel1.add(flatTabbedPane, BorderLayout.CENTER); this.add(panel1, BorderLayout.CENTER); lPanel.get(0).selection(); flatTabbedPane.setSelectedIndex(0); } public void addTab(String name, PanelGeneric panel) { lPanel.add(panel); flatTabbedPane.addTab(name, panel); } public void removeTab(String name) { for (int i=0; i