protected static class DocumentChangeOperation.UndoChange extends DocumentChange
Modifier and Type | Field and Description |
---|---|
long |
stampToRestore |
CREATE_UNDO, NONE, UPDATE_REGIONS
Constructor and Description |
---|
UndoChange(org.eclipse.text.edits.UndoEdit undoEdit,
long stampToRestore) |
Copyright (c) 2014, 2020 1C-Soft LLC and others. Made available under the Eclipse Public License 2.0