@Override
  public void setVisualAttributes(@NotNull CaretVisualAttributes attributes) {
    putUserData(VISUAL_ATTRIBUTES_KEY, attributes == CaretVisualAttributes.getDefault() ? null : attributes);
    requestRepaint(myVerticalInfo);
  }
@Override
  public void setVisualAttributes(@NotNull CaretVisualAttributes attributes)