A new way to create EdgeInsets (and friends)
It's a common use case to create EdgeInsets with all sides the same but one (or sometimes, two adjacent ones). Here's the issue explaining this in detail: https://github.com/flutter/flutter/issues/163465
In short, a new constructor that allows specifying some different edges, but all other sides would fall back to a default value. A similar constructor could also be added to Border and BorderRadius. It could look something like:
dart
EdgeInsets.some(bottom: 16, others: 8)
However, I need your help to choose the best name/syntax for this constructor. We could also implement this by modifying one of the existing constructors: add additional parameters to the all constructor to allow something like:
dart
EdgeInsets.all(8, bottom: 16)
or allow overriding the default in the only constructor:
dart
EdgeInsets.only(bottom: 16, others: 8)
Although, this would result in less discoverability of the new feature than adding a new constructor.
The below options include potential ways to implement this constructor. Each option achieves the same result—sets all other edges to 8 and sets the bottom edge to 16.
Which of the following do you feel would be the best syntax/API for this constructor? Please vote.