devexpress-richedit

Version:

DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.

www.devexpress.com

14 lines (13 loc) • 713 B

JavaScript

import { CharacterPropertyDescriptor } from '../../../../../../../common/model/character/character-property-descriptor';
import { StrikeoutType } from '../../../../../../../common/model/character/enums';
import { CharacterFormattingLeafElementDestination } from '../character-formatting-leaf-element-destination';
export class DoubleStrikeThroughDestination extends CharacterFormattingLeafElementDestination {
    async processElementOpen(reader) {
        const value = this.data.readerHelper.getWpSTOnOffValue(reader, 'val', false);
        if (value)
            this.setProperty(StrikeoutType.Double);
    }
    getDescriptor() {
        return CharacterPropertyDescriptor.strikeoutType;
    }
}