/**
* Set the attribute with the value supplied.
*
* @param name name of attribute.
* @param value value of attribute.
*/
public void setAttr(String name, String value) {
if (name.equals(ATTR_PARAMID)) {
if (paramIds == null) {
paramIds = new String[1];
}
paramIds[0] = value;
} else {
super.setAttr(name, value);
}
}
/**
* Paint the selection
*
* @param g Graphics to use for painting
* @param c DisplayCanvas to paint on
*/
public void paintSelection(Graphics g, DisplayCanvas c) {
super.paintSelection(g, c);
paintRectPoint(g, c);
}
