Scales each constraint parameter by the inverse of the given factor, rounded to the nearest integer.
Source
BoxConstraints operator~/(double factor) {
return new BoxConstraints(
minWidth: (minWidth ~/ factor).toDouble(),
maxWidth: (maxWidth ~/ factor).toDouble(),
minHeight: (minHeight ~/ factor).toDouble(),
maxHeight: (maxHeight ~/ factor).toDouble()
);
}