org.eclipse.xtext.ui.editor.embedded

Class OperationHistoryListener