/**
* 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();
}
