* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public void setDigitCase(DigitCase newDigitCase) {
DigitCase oldDigitCase = digitCase;
digitCase = newDigitCase == null ? DIGIT_CASE_EDEFAULT : newDigitCase;
if (eNotificationRequired())
eNotify(new ENotificationImpl(this, Notification.SET, FxgPackage.RICH_TEXT__DIGIT_CASE, oldDigitCase, digitCase));
}