List<RangeHighlighter> (@NotNull Editor editor, int startLine, int endLine, @NotNull TextDiffType type, boolean ignored) { return new LineHighlighterBuilder(editor, startLine, endLine, type).withIgnored(ignored).done(); }