devexpress-richedit/lib/common/formats/options.js

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

export class DocumentExporterOptions {
    constructor() {
        this.ensurePictureLoadedTimeout = 3000;
    }
}