@Override
    public TextAttributes getAttributes(TextAttributesKey key) {
      return tuneAttributes(super.getAttributes(key));
    }
@Override
    public TextAttributes getAttributes(TextAttributesKey key)