Struct WindowEdgeInsets 

pub struct WindowEdgeInsets {
    pub left: f64,
    pub top: f64,
    pub right: f64,
    pub bottom: f64,
}

The inset vocabulary LayoutCtx::window_insets/PaintCtx::window_insets return — lifted because a widget that lays itself out around the status bar, notch, or on-screen keyboard cannot otherwise name the value those accessors hand it. A bar laying out around the iPadOS window control names the corner value, CornerInsets. Per-edge inset amounts, in logical pixels.

The framework-core counterpart of frust-widgets’ layout EdgeInsets (that one is a Padding container’s spacing; this one is the platform occlusion model — a different layer, so it is not reused). Every value is a non-negative logical-px distance from the corresponding window edge.

Fields

left: f64

Inset from the left edge.

top: f64

Inset from the top edge.

right: f64

Inset from the right edge.

bottom: f64

Inset from the bottom edge.

Implementations

impl EdgeInsets

pub const ZERO: EdgeInsets

The zero inset — no occlusion on any edge (the default, and the value a WindowInsets carries until a shell pushes a real one).

pub fn new(left: f64, top: f64, right: f64, bottom: f64) -> EdgeInsets

Construct per-edge insets directly.

pub fn max(self, other: EdgeInsets) -> EdgeInsets

Per-edge maximum of self and other.

Mirrors Flutter’s engine-side merge of Type.systemBars() with the display cutout (FlutterView.java:751-793): a shell that assembles its view_padding from several platform inset sources combines them per edge with this rather than summing.

pub fn saturating_sub(self, other: EdgeInsets) -> EdgeInsets

Per-edge saturating subtraction: max(0.0, self.edge - other.edge) for each edge, clamping a would-be-negative result to zero.

This is the building block of WindowInsets::padding (Flutter’s padding = max(0.0, viewPadding - viewInsets), media_query.dart:152-170): where the IME (view_insets) fully covers a system-bar edge (view_padding), the derived safe-area padding for that edge collapses to zero rather than going negative.

Trait Implementations

impl Clone for EdgeInsets

fn clone(&self) -> EdgeInsets

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for EdgeInsets

impl Debug for EdgeInsets

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Default for EdgeInsets

fn default() -> EdgeInsets

Returns the “default value” for a type.

impl PartialEq for EdgeInsets

fn eq(&self, other: &EdgeInsets) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for EdgeInsets