devexpress-richedit
Version:
DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.
11 lines (10 loc) • 554 B
TypeScript
import { ModelManipulator } from '../../manipulators/model-manipulator';
import { DocumentProtectionProperties } from '../../options/document-protection';
import { HistoryItem } from '../base/history-item';
export declare class DocumentProtectionHistoryItem extends HistoryItem {
oldProtectionProperties: DocumentProtectionProperties;
newProtectionProperties: DocumentProtectionProperties;
constructor(modelManipulator: ModelManipulator, newProtectionProperties: DocumentProtectionProperties);
redo(): void;
undo(): void;
}