Uses of Class
org.eclipse.ui.internal.EditorHistory

Packages that use EditorHistory

Package	Description
org.eclipse.ui.internal

Uses of EditorHistory in org.eclipse.ui.internal

Methods in org.eclipse.ui.internal that return EditorHistory

Modifier and Type	Method	Description
EditorHistory	Workbench.getEditorHistory()