package art.client.GUI.components.devices.window.colors.rtz32.configuration; import art.client.GUI.components.devices.window.colors.junction.configuration.PanelConfigurationGeneric; import art.library.gui.flat.FlatTabbedPane; import art.library.gui.flat.FlatTabbedPane.FlatTab; import art.library.model.devices.colors.controller.RTZ32.RTZ32_ControllerConfiguration; import art.library.model.devices.colors.controller.RTZ32.configuration.RTZ32_Configuration_Program; import java.awt.BorderLayout; import java.awt.Font; import javax.swing.event.ChangeEvent; import javax.swing.event.ChangeListener; public class RTZ32_PanelConfiguration_Programs extends PanelConfigurationGeneric { private RTZ32_ControllerConfiguration configuration = null; private FlatTabbedPane flatTabbedPane = null; private PanelConfigurationGeneric panelSelected = null; private MyChangeListener myChangeListener = new MyChangeListener(); public RTZ32_PanelConfiguration_Programs(RTZ32_ControllerConfiguration configuration) { this.configuration = configuration; initialise(); } public void editable(boolean value) { super.editable(value); } public void selection() { if (panelSelected != null) { panelSelected.selection(); } } public void deselection() { if (panelSelected != null) panelSelected.deselection(); } public void grants() { } private void reload() { try { flatTabbedPane.removeAll(); flatTabbedPane.removeChangeListener(myChangeListener); for (int i=0; i