widget property

FlintWidget widget
getter/setter pair

Implementation

late FlintWidget widget;