david-swift 4937c36b3b Improve updating performance

And update docs reflecting the changes in the latest commits

2024-01-27 08:07:05 +01:00

ENUM

`Edge`

The edges for a widget.

Cases

The leading (start) edge.

The trailing (end) edge.

The top edge.

The bottom edge.