removeViewInsets method
Creates a copy of this media query data but with the given viewInsets replaced with zero.
The removeLeft
, removeTop
, removeRight
, and removeBottom
arguments
must not be null. If all four are false (the default) then this
MediaQueryData is returned unmodified.
See also:
- new MediaQuery.removeViewInsets, which uses this method to remove padding from the ambient MediaQuery.
- removePadding, the same thing but for padding.
Implementation
MediaQueryData removeViewInsets({
bool removeLeft: false,
bool removeTop: false,
bool removeRight: false,
bool removeBottom: false,
}) {
if (!(removeLeft || removeTop || removeRight || removeBottom))
return this;
return new MediaQueryData(
size: size,
devicePixelRatio: devicePixelRatio,
textScaleFactor: textScaleFactor,
padding: padding,
viewInsets: viewInsets.copyWith(
left: removeLeft ? 0.0 : null,
top: removeTop ? 0.0 : null,
right: removeRight ? 0.0 : null,
bottom: removeBottom ? 0.0 : null,
),
alwaysUse24HourFormat: alwaysUse24HourFormat,
);
}