devexpress-richedit

Version:

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

www.devexpress.com

11 lines (10 loc) • 546 B

JavaScript

import { ParagraphPropertyDescriptor } from '../../../../../../../common/model/paragraph/paragraph-properties';
import { ParagraphFormattingLeafElementDestination } from '../paragraph-formatting-leaf-element-destination';
export class ContextualSpacingDestination extends ParagraphFormattingLeafElementDestination {
    async processElementOpen(reader) {
        this.setProperty(this.data.readerHelper.getWpSTOnOffValue(reader, 'val'));
    }
    getDescriptor() {
        return ParagraphPropertyDescriptor.contextualSpacing;
    }
}