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 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,
disableAnimations: disableAnimations,
invertColors: invertColors,
accessibleNavigation: accessibleNavigation,
boldText: boldText,
);
}