devexpress-richedit
Version:
DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.
22 lines (21 loc) • 818 B
JavaScript
import { Rectangle } from '@devexpress/utils/lib/geometry/rectangle';
export var LayoutBookmarkBoxType;
(function (LayoutBookmarkBoxType) {
LayoutBookmarkBoxType[LayoutBookmarkBoxType["StartBox"] = 0] = "StartBox";
LayoutBookmarkBoxType[LayoutBookmarkBoxType["EndBox"] = 1] = "EndBox";
})(LayoutBookmarkBoxType || (LayoutBookmarkBoxType = {}));
export class BookmarkBox extends Rectangle {
static { this.DEFAULT_WIDTH = 3; }
static { this.DEFAULT_BORDER_WIDTH = 2; }
constructor(boxType) {
super(0, 0, 0, 0);
this.boxType = LayoutBookmarkBoxType.StartBox;
this.color = "";
this.boxType = boxType;
}
equals(obj) {
return super.equals(obj) &&
this.color == obj.color &&
this.boxType == obj.boxType;
}
}