void function ( Editor arg0 , RangeHighlighter arg1 ) { List < RangeHighlighter > loc0 = arg0 . getUserData ( HIGHLIGHTERS_KEY ) ; if ( loc0 == null ) { loc0 = new LinkedList < RangeHighlighter > ( ) ; arg0 . putUserData ( HIGHLIGHTERS_KEY , loc0 ) ; } else { purgeInvalidHighlighters ( arg0 , loc0 ) ; } loc0 . add ( arg1 ) ; }
add a new highlighter to an editor concode_field_sep Key<List<RangeHighlighter>> HIGHLIGHTERS_KEY concode_field_sep void clearHighlighters concode_elem_sep boolean purgeInvalidHighlighters concode_elem_sep boolean hasHighlighters concode_elem_sep RangeHighlighter highlightNode concode_elem_sep List<RangeHighlighter> getHighlighters concode_elem_sep Object formatTooltip concode_elem_sep void removeHighlighter