options property

Map<String, Option> options
getter/setter pair

The option that the plugin use to configure itself from the user setting.

Implementation

Map<String, Option> options = {};