/** Sets the width of the line when selected */
public void setSelected(int value) {
super.setSelected(value);
TableFigure tableFigure = (TableFigure) getFigure();
if (value != EditPart.SELECTED_NONE) tableFigure.setSelected(true);
else tableFigure.setSelected(false);
tableFigure.repaint();
}
/** @see org.eclipse.gef.EditPart#deactivate() */
public void deactivate() {
super.deactivate();
}
/** @see org.eclipse.gef.EditPart#activate() */
public void activate() {
super.activate();
}