padding property

EdgeInsets padding
final

The number of physical pixels on each side of the display rectangle into which the application can render, but which may be partially obscured by system UI (such as the system notification area), or or physical intrusions in the display (e.g. overscan regions on television screens or phone sensor housings).

If you consumed this padding (e.g. by building a widget that envelops or accounts for this padding in its layout in such a way that children are no longer exposed to this padding), you should remove this padding for subsequent descendants in the widget tree by inserting a new MediaQuery widget using the MediaQuery.removePadding factory.

See also:

  • SafeArea, a widget that consumes this padding with a Padding widget and automatically removes it from the MediaQuery for its child.

Implementation

final EdgeInsets padding