devexpress-richedit/lib/common/formats/options.d.ts

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

export declare class DocumentExporterOptions {
    ensurePictureLoadedTimeout: number;
}