hotBox top-level property

Box hotBox
getter/setter pair

Implementation

late Box hotBox;