Vocabulary
tools.coverage

Word description
Deactivates the coverage tool on a word or vocabulary and its private vocabulary.

Definition