Padding
Mise en page
Engine\Native\Padding ajoute un espacement (EdgeInsets) autour d'un unique enfant : les contraintes transmises à l'enfant sont réduites de la largeur/hauteur cumulée des marges (jamais en dessous de zéro), et la taille finale renvoyée au parent ré-ajoute ces marges à la taille de l'enfant. C'est le nœud que Container utilise en interne pour son propre paramètre padding.
Exemple
php
<?php
use Engine\Native\Padding;
use Engine\Native\Container;
use Engine\Native\EdgeInsets;
use Engine\Color;
$padded = new Padding(
EdgeInsets::symmetric(horizontal: 16.0, vertical: 8.0),
new Container(background: Color::slate(100)),
);Le conteneur gris clair reçoit 16px de marge à gauche et à droite, 8px en haut et en bas, avant d'être peint.
Constructeur
| Paramètre | Type | Défaut | Description |
|---|---|---|---|
| insets | EdgeInsets | — | Marges à appliquer sur chaque bord (left/top/right/bottom). |
| child | Widget | — | Unique enfant entouré par le padding. |
À savoir. Les contraintes intérieures sont bornées à 0 via
max(0.0, ...): des marges plus grandes que l'espace disponible ne produisent jamais de largeur/hauteur négative passée à l'enfant.