mirror of
https://github.com/flutter/flutter.git
synced 2026-02-20 02:29:02 +08:00
As a convenience, this adds a set of minimum padding to apply. The greater of the minimum padding and the media padding is applied to each edge.