applyDisplayCornerRadii method

MediaQueryData applyDisplayCornerRadii(
  1. BorderRadius? displayCornerRadii
)

Creates a copy of this media query data but with the displayCornerRadii replaced with the given value.

If the argument is null (the default), then this MediaQueryData is returned with the displayCornerRadii set to null.

Implementation

MediaQueryData applyDisplayCornerRadii(BorderRadius? displayCornerRadii) {
  return MediaQueryData(
    size: size,
    devicePixelRatio: devicePixelRatio,
    textScaler: textScaler,
    platformBrightness: platformBrightness,
    padding: padding,
    viewPadding: viewPadding,
    viewInsets: viewInsets,
    systemGestureInsets: systemGestureInsets,
    alwaysUse24HourFormat: alwaysUse24HourFormat,
    invertColors: invertColors,
    highContrast: highContrast,
    onOffSwitchLabels: onOffSwitchLabels,
    disableAnimations: disableAnimations,
    accessibleNavigation: accessibleNavigation,
    boldText: boldText,
    supportsAnnounce: supportsAnnounce,
    navigationMode: navigationMode,
    gestureSettings: gestureSettings,
    displayFeatures: displayFeatures,
    supportsShowingSystemContextMenu: supportsShowingSystemContextMenu,
    lineHeightScaleFactorOverride: lineHeightScaleFactorOverride,
    letterSpacingOverride: letterSpacingOverride,
    wordSpacingOverride: wordSpacingOverride,
    paragraphSpacingOverride: paragraphSpacingOverride,
    displayCornerRadii: displayCornerRadii,
  );
}