/**
* Remove the given panel from the card layout and refresh the display.
*
* @param panel Panel
*/
public void legendRemoved(ISELegendPanel panel) {
cardLayout.removeLayoutComponent(panel.getComponent());
showDialogForCurrentlySelectedLegend();
}
/**
* Gets a new {@link JScrollPane} on the given panel, setting the scroll increments appropriately.
*
* @param panel Panel
* @return A new {@link JScrollPane} on the given panel
*/
private JScrollPane getJScrollPane(ISELegendPanel panel) {
JScrollPane jsp = new JScrollPane(panel.getComponent());
jsp.getHorizontalScrollBar().setUnitIncrement(INCREMENT);
jsp.getVerticalScrollBar().setUnitIncrement(INCREMENT);
return jsp;
}
