void (int i, int startOffset, int endOffset, int data) { setElementLight(i, startOffset, endOffset, data); MappedRange range = myRanges[i]; if (range != null) { freezeHighlighter(range.mapper); range.mapper.removeMapping(range); myRanges[i] = null; } updateMappingForToken(i); }