@Override
    public void setElementAt(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);
    }
@Override
    public void setElementAt(int i, int startOffset, int endOffset, int data)