semanticId property
Caller-provided modal ID when available.
This is useful when id is an internally generated fallback. When the
caller supplied an explicit Modal.show(id: ...), id and semanticId
are usually the same value.
Implementation
final String? semanticId;