* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public void setDigitWidth(DigitWidth newDigitWidth) {
DigitWidth oldDigitWidth = digitWidth;
digitWidth = newDigitWidth == null ? DIGIT_WIDTH_EDEFAULT : newDigitWidth;
if (eNotificationRequired())
eNotify(new ENotificationImpl(this, Notification.SET, FxgPackage.RICH_TEXT__DIGIT_WIDTH, oldDigitWidth, digitWidth));
}