Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
Copyright (c) 2011 itemis AG ( and others. All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at /
 package org.eclipse.xtext.ui.editor.embedded;
import  org.eclipse.core.commands.operations.IOperationHistoryListener;
import  org.eclipse.core.commands.operations.IUndoContext;
import  org.eclipse.core.commands.operations.OperationHistoryEvent;
import  org.eclipse.ui.texteditor.IUpdate;

Sebastian Zarnekow - Initial contribution and API
public class OperationHistoryListener implements IOperationHistoryListener {
	private final IUndoContext context;
	private final IUpdate update;
	public OperationHistoryListener(IUndoContext context, IUpdate update) {
		this. = context;
		this. = update;
	public void historyNotification(OperationHistoryEvent event) {
		final int type = event.getEventType();
		switch (type) {
			case OperationHistoryEvent.UNDONE:
			case OperationHistoryEvent.REDONE:
			case OperationHistoryEvent.OPERATION_ADDED:
			case OperationHistoryEvent.OPERATION_REMOVED:
			case OperationHistoryEvent.OPERATION_NOT_OK:
				// if this is one of our operations
				if (event.getOperation().hasContext(this.)) {
New to GrepCode? Check out our FAQ X