devexpress-richedit
Version:
DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.
8 lines (7 loc) • 338 B
JavaScript
import { LeafElementDestination } from '../destination';
export class DocumentSettingsMirrorMarginsDestination extends LeafElementDestination {
async processElementOpen(reader) {
const value = this.data.readerHelper.getWpSTOnOffValue(reader, 'val', true);
this.data.documentModel.mirrorMargins = value;
}
}