devexpress-richedit
Version:
DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.
10 lines (9 loc) • 360 B
JavaScript
import { HistoryItem } from './history-item';
export class PositionBasedHistoryItem extends HistoryItem {
get boundSubDocument() { return this.subDocPos.subDocument; }
get position() { return this.subDocPos.position; }
constructor(modelManipulator, subDocPos) {
super(modelManipulator);
this.subDocPos = subDocPos;
}
}