EditPlugin.nullTool

Undocumented in source.
class EditPlugin
NullTool nullTool;

Meta