void (int highlightStartOffset, int highlightEndOffset, TextAttributes highlightAttributes) { addHighlighter(highlightStartOffset, highlightEndOffset, highlightAttributes, HighlighterLayer.CONSOLE_FILTER); }