@Nullable
    @Override
    public TextRange getHighlightRange() {
      return SourcePositionHighlighter.getHighlightRangeFor(mySourcePosition);
    }
@Nullable
    @Override
    public TextRange getHighlightRange()