EditPlugin.tools

Undocumented in source.
class EditPlugin
Mapping!ITool tools;

Meta