void (Editor editor, RangeHighlighter highlighter) { List<RangeHighlighter> hl = editor.getUserData(HIGHLIGHTERS_KEY); if (hl == null) { hl = new LinkedList<>(); editor.putUserData(HIGHLIGHTERS_KEY, hl); } else { purgeInvalidHighlighters(editor, hl); } hl.add(highlighter); }