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 {
    ensurePictureLoadedTimeout = 3000;
}