public interface FilterMixin
Modifier and Type | Interface and Description |
---|---|
static class |
FilterMixin.AdditionalHighlight |
Modifier and Type | Method and Description |
---|---|
void |
applyHeavyFilter(Document copiedFragment,
int startOffset,
int startLineNumber,
Consumer<? super FilterMixin.AdditionalHighlight> consumer) |
java.lang.String |
getUpdateMessage() |
boolean |
shouldRunHeavy() |
boolean shouldRunHeavy()
void applyHeavyFilter(Document copiedFragment, int startOffset, int startLineNumber, Consumer<? super FilterMixin.AdditionalHighlight> consumer)
java.lang.String getUpdateMessage()