UNPKG

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
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; } }