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<configuration.rtz32.programs.length; i++)
|
{
|
RTZ32_Configuration_Program program = configuration.rtz32.programs[i];
|
RTZ32_PanelConfiguration_Programs_Program panelConfiguration_Programs_Program = new RTZ32_PanelConfiguration_Programs_Program(configuration, program.number);
|
panelConfiguration_Programs_Program.editable(false);
|
|
flatTabbedPane.addTab(" " + program.number + " ", panelConfiguration_Programs_Program);
|
|
if (program.isEmpty() == false)
|
{
|
FlatTab flatTab = flatTabbedPane.getTab(i);
|
flatTab.label.getLook().font = flatTab.label.getFont().deriveFont(14.0f).deriveFont(Font.BOLD);
|
flatTab.label.revalidate();
|
}
|
else
|
{
|
FlatTab flatTab = flatTabbedPane.getTab(i);
|
flatTab.label.getLook().font = flatTab.label.getFont().deriveFont(11.0f);
|
flatTab.label.revalidate();
|
}
|
}
|
|
flatTabbedPane.addChangeListener(myChangeListener);
|
}
|
catch (Exception e)
|
{
|
}
|
|
grants();
|
panelSelected = (PanelConfigurationGeneric)flatTabbedPane.getSelectedComponent();
|
}
|
|
|
|
|
private void initialise()
|
{
|
|
flatTabbedPane = new FlatTabbedPane();
|
{
|
flatTabbedPane.allowTitleChange(false);
|
}
|
this.setLayout(new BorderLayout());
|
this.add(flatTabbedPane, BorderLayout.CENTER);
|
reload();
|
}
|
|
|
|
|
|
private class MyChangeListener implements ChangeListener
|
{
|
public void stateChanged(ChangeEvent e)
|
{
|
deselection();
|
panelSelected = (PanelConfigurationGeneric)flatTabbedPane.getSelectedComponent();
|
selection();
|
}
|
}
|
|
|
|
|
|
|
}
|