EdgeInsets operator *(double other)

Scales the EdgeInsets in each dimension by the given factor.

Source 

EdgeInsets operator *(double other) {
  return new EdgeInsets.fromLTRB(
    left * other,
    top * other,
    right * other,
    bottom * other
  );
}