@Override public void setHighlighter(@NotNull final EditorHighlighter highlighter) { myDelegate.setHighlighter(highlighter); }