public void setMagFactor(double v) { magFactor = v; }
public void setMagFactor(double v) { magFactor = v; iat.setMagFactor(v); abstraction.affineTransformChanged(iat.copy()); }
    public void setMagFactor(double v) { magFactor = v; }