Function padding_default 

pub fn padding_default(view: &ViewHandle) -> ViewHandle

Apply .padding() — every edge, at whatever length the system picks.

Not padding(_ length: CGFloat). A bare .padding() in Swift is padding(.all, nil), and the nil is the point: it asks for the system’s own inset rather than for zero.