public class GuardedDocumentEvent extends BaseDocumentEvent
DocumentEvent.ElementChange, DocumentEvent.EventType
edits
RedoName, UndoName
Constructor and Description |
---|
GuardedDocumentEvent(GuardedDocument doc,
int offset,
int length,
DocumentEvent.EventType type) |
Modifier and Type | Method and Description |
---|---|
void |
redo() |
void |
undo() |
addEdit, canMerge, canRedo, canUndo, die, end, findEdit, getChange, getChangeAttributes, getChars, getLFCount, getLine, getRedoPresentationName, getSyntaxUpdateOffset, getText, getUndoPresentationName, isInProgress, isInRedo, isInUndo, replaceEdit, toString
getDocument, getLength, getOffset, getPresentationName, getType, isSignificant
lastEdit
public GuardedDocumentEvent(GuardedDocument doc, int offset, int length, DocumentEvent.EventType type)
public void undo() throws CannotUndoException
undo
in interface UndoableEdit
undo
in class BaseDocumentEvent
CannotUndoException
public void redo() throws CannotRedoException
redo
in interface UndoableEdit
redo
in class BaseDocumentEvent
CannotRedoException