* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public void setLigatureLevel(LigatureLevel newLigatureLevel) {
LigatureLevel oldLigatureLevel = ligatureLevel;
ligatureLevel = newLigatureLevel == null ? LIGATURE_LEVEL_EDEFAULT : newLigatureLevel;
if (eNotificationRequired())
eNotify(new ENotificationImpl(this, Notification.SET, FxgPackage.RICH_TEXT__LIGATURE_LEVEL, oldLigatureLevel, ligatureLevel));
}