devexpress-richedit
Version:
DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.
11 lines (10 loc) • 452 B
JavaScript
import { __awaiter } from "tslib";
import { LeafElementDestination } from '../destination';
export class DocumentSettingsMirrorMarginsDestination extends LeafElementDestination {
processElementOpen(reader) {
return __awaiter(this, void 0, void 0, function* () {
const value = this.data.readerHelper.getWpSTOnOffValue(reader, 'val', true);
this.data.documentModel.mirrorMargins = value;
});
}
}