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 java.lang.Object
implements org.eclipse.core.commands.operations.IOperationHistoryListener

Author:

Sebastian Zarnekow - Initial contribution and API

Constructor Summary

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

Method Summary

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