Bug 23215 Type Hierarchy: Ctrl + 1 doesn't work [type hierarchy]
Type Hierarchy allows to switch between its 3 views by hitting Ctrl + 1, Ctrl + 2, Ctrl + 3 (that's what Tooltips say). 2 & 3 work fine, but my Hierarchy doesn't react on Ctrl + 1. Maybe there's an interference with Quick Fix (Ctrl + 1 too, but only active in JavaEditors). Version: 2.0 Build id: 200208201620
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/typehierarchy/TypeHierarchyViewPart.java
private void revealElementInEditor(Object elem, Viewer originViewer) {
		
		
		
		if (getSite().getPage().getActivePart() != this) {
			return;
		}
		
		if (fSelectionProviderMediator.getViewerInFocus() != originViewer) {
			return;
		}
		
		IEditorPart editorPart= EditorUtility.isOpenInEditor(elem);
		if (editorPart != null && (elem instanceof IJavaElement)) {
			getSite().getPage().removePartListener(fPartListener);
			getSite().getPage().bringToTop(editorPart);
			EditorUtility.revealInEditor(editorPart, (IJavaElement) elem);
			getSite().getPage().addPartListener(fPartListener);
		}
	}
	
	private Display getDisplay() {
		if (fPagebook != null && !fPagebook.isDisposed()) {
			return fPagebook.getDisplay();
		}
		return null;
	}		
	
	private boolean isChildVisible(Composite pb, Control child) {
		Control[] children= pb.getChildren();