String () { return "[" + getForegroundColor() + "," + getBackgroundColor() + "," + getFontType() + "," + getEffectType() + "," + getEffectColor() + "," + myAttrs.getAdditionalEffects() + "," + getErrorStripeColor() + "]"; }