devexpress-richedit
Version:
DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.
13 lines (12 loc) • 507 B
JavaScript
export var RtfNumberingListType;
(function (RtfNumberingListType) {
RtfNumberingListType[RtfNumberingListType["Unknown"] = 0] = "Unknown";
RtfNumberingListType[RtfNumberingListType["Hybrid"] = 1] = "Hybrid";
RtfNumberingListType[RtfNumberingListType["Simple"] = 2] = "Simple";
})(RtfNumberingListType || (RtfNumberingListType = {}));
export class RtfNumberingList {
constructor() {
this.levels = [];
this.numberingListType = RtfNumberingListType.Unknown;
}
}