public interface ActiveGrammarSetObserver
ActiveGrammarSet.| Modifier and Type | Method and Description |
|---|---|
void |
removedGrammars(ActiveGrammarSet set,
java.util.Collection<GrammarDocument> removed)
The given set changed due to a scope change.
|
void removedGrammars(ActiveGrammarSet set, java.util.Collection<GrammarDocument> removed)
set - the changed setremoved - the removed items