options property

Editing options for the AmphitheatreEditor.

Implementation

final AmphitheatreEditorOptions options;