INT constant

The editor for a property of type int.

Implementation

static const FlutterWidgetPropertyEditorKind INT =
    FlutterWidgetPropertyEditorKind._('INT');