public void setScale(double s) {
if (_namedIcon != null) {
_namedIcon.scale(s, this);
super.setIcon(_namedIcon);
updateSize();
}
}
public static NamedIcon cloneIcon(NamedIcon icon, PositionableLabel pos) {
if (icon.getURL() != null) {
return new NamedIcon(icon, pos);
} else {
NamedIcon clone = new NamedIcon(icon.getImage());
clone.scale(icon.getScale(), pos);
clone.rotate(icon.getDegrees(), pos);
return clone;
}
}
public void setScale(double s) {
active.scale(s, this);
error.scale(s, this);
displayState();
}
