public class ColoringParserBasedPanel.TileListSelectionListener extends ColoringPanel.DefaultListSelectionListener
Constructor and Description |
---|
TileListSelectionListener(TController c) |
Modifier and Type | Method and Description |
---|---|
void |
valueChanged(javax.swing.event.ListSelectionEvent e) |
public TileListSelectionListener(TController c)
public void valueChanged(javax.swing.event.ListSelectionEvent e)
valueChanged
in interface javax.swing.event.ListSelectionListener
valueChanged
in class ColoringPanel.DefaultListSelectionListener