devexpress-richedit
Version:
DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.
14 lines (13 loc) • 601 B
JavaScript
import { IntervalBasedHistoryItem } from '../../base/interval-based-history-item';
export class ChangeAnchoredTextBoxSizeHistoryItem extends IntervalBasedHistoryItem {
constructor(modelManipulator, subDocInterval, size) {
super(modelManipulator, subDocInterval);
this.size = size;
}
redo() {
this.oldState = this.modelManipulator.floatingObject.textBoxSize.setValue(this.boundSubDocument, this.interval, this.size);
}
undo() {
this.modelManipulator.floatingObject.textBoxSize.restoreValue(this.boundSubDocument, this.oldState);
}
}