devexpress-richedit
Version:
DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.
16 lines (15 loc) • 1.05 kB
TypeScript
import { AnchorInfoPropertyManipulator } from '../../../manipulators/floating-objects/anchor-info-property-manipulator';
import { IIntervalPropertyManipulator } from '../../../manipulators/i-properties-manipulator';
import { ModelManipulator } from '../../../manipulators/model-manipulator';
import { SubDocumentInterval } from '../../../sub-document';
import { IntervalBasedHistoryItem } from '../../base/interval-based-history-item';
import { HistoryItemIntervalState } from '../../states/history-item-state';
import { HistoryItemIntervalStateObject } from '../../states/history-item-state-object';
export declare class AnchorInfoPropertyHistoryItem<T> extends IntervalBasedHistoryItem {
newValue: T;
oldState: HistoryItemIntervalState<HistoryItemIntervalStateObject>;
propertyManipulator: AnchorInfoPropertyManipulator<T>;
constructor(modelManipulator: ModelManipulator, subDocInterval: SubDocumentInterval, newValue: T, propertyManipulator: IIntervalPropertyManipulator<T>);
redo(): void;
undo(): void;
}