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