devexpress-richedit
Version:
DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.
13 lines (12 loc) • 569 B
TypeScript
import { SubDocument } from '../../sub-document';
import { ModelManipulator } from '../model-manipulator';
import { RemoveIntervalOperationResult } from './remove-interval-operation';
export declare class RestoreRemovedIntervalOperation {
modelManipulator: ModelManipulator;
subDocument: SubDocument;
currentTableIndex: number;
constructor(manipulator: ModelManipulator, subDocument: SubDocument);
execute(removeOperationResult: RemoveIntervalOperationResult): void;
private shiftTablesToPosition;
private getTableForShifting;
}