editor property

FlarkEditor editor
final

The editor recorded.

Implementation

final FlarkEditor editor;