@RequiresEdt
  public void setPrefix(String prefixText, TextAttributes attributes) {
    myPrefixText = prefixText;
    synchronized (myLock) {
      myPrefixLayout = prefixText == null || prefixText.isEmpty() ? null :
                       LineLayout.create(this, prefixText, attributes.getFontType());
    }
    myPrefixAttributes = attributes;
    mySizeManager.invalidateRange(0, 0);
  }
@RequiresEdt
  public void setPrefix(String prefixText, TextAttributes attributes)