public class OperationHistoryListener
extends java.lang.Object
implements org.eclipse.core.commands.operations.IOperationHistoryListener
Constructor and Description |
---|
OperationHistoryListener(org.eclipse.core.commands.operations.IUndoContext context,
org.eclipse.ui.texteditor.IUpdate update) |
Modifier and Type | Method and Description |
---|---|
void |
historyNotification(org.eclipse.core.commands.operations.OperationHistoryEvent event) |