Uses of Class
org.eclipse.xtext.ui.editor.embedded.OperationHistoryListener

Packages that use OperationHistoryListener

Package	Description
org.eclipse.xtext.ui.editor.embedded

Uses of OperationHistoryListener in org.eclipse.xtext.ui.editor.embedded

Methods in org.eclipse.xtext.ui.editor.embedded that return OperationHistoryListener

Modifier and Type	Method and Description
protected OperationHistoryListener	EmbeddedEditorFactory.Builder.installUndoRedoSupport(org.eclipse.jface.text.source.SourceViewer viewer, org.eclipse.jface.text.IDocument document, EmbeddedEditorActions actions)

Methods in org.eclipse.xtext.ui.editor.embedded with parameters of type OperationHistoryListener

Modifier and Type	Method and Description
protected void	EmbeddedEditorFactory.Builder.uninstallUndoRedoSupport(OperationHistoryListener listener)