org.eclipse.xtext.ui.editor.embedded

Class OperationHistoryListener

java.lang.Object

org.eclipse.xtext.ui.editor.embedded.OperationHistoryListener

All Implemented Interfaces:

org.eclipse.core.commands.operations.IOperationHistoryListener

public class OperationHistoryListener
extends Object
implements org.eclipse.core.commands.operations.IOperationHistoryListener

Author:

Sebastian Zarnekow - Initial contribution and API

Constructor Summary

Constructors

Constructor and Description
OperationHistoryListener(org.eclipse.core.commands.operations.IUndoContext context, org.eclipse.ui.texteditor.IUpdate update)

Method Summary

Methods

Modifier and Type	Method and Description
void	historyNotification(org.eclipse.core.commands.operations.OperationHistoryEvent event)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OperationHistoryListener

public OperationHistoryListener(org.eclipse.core.commands.operations.IUndoContext context,
                        org.eclipse.ui.texteditor.IUpdate update)

Method Detail

historyNotification

public void historyNotification(org.eclipse.core.commands.operations.OperationHistoryEvent event)

Specified by:

historyNotification in interface org.eclipse.core.commands.operations.IOperationHistoryListener