devexpress-richedit
Version:
DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.
12 lines (11 loc) • 657 B
TypeScript
import { ModelManipulator } from '../../manipulators/model-manipulator';
import { RemoveIntervalOperationResult } from '../../manipulators/range/remove-interval-operation';
import { SubDocumentInterval } from '../../sub-document';
import { IntervalBasedHistoryItem } from '../base/interval-based-history-item';
export declare class RemoveIntervalHistoryItem extends IntervalBasedHistoryItem {
result: RemoveIntervalOperationResult;
setPropertiesSecondParagraph: boolean;
constructor(modelManipulator: ModelManipulator, subDocInterval: SubDocumentInterval, setPropertiesSecondParagraph: boolean);
redo(): void;
undo(): void;
}