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
}
		};
		
		fLinkingEnabled= PreferenceConstants.getPreferenceStore().getBoolean(PreferenceConstants.LINK_TYPEHIERARCHY_TO_EDITOR);
	}
	/**
	 * Method doPropertyChange.
	 * @param event
	 */
	protected void doPropertyChange(PropertyChangeEvent event) {
		if (fMethodsViewer != null) {
			if (PreferenceConstants.APPEARANCE_MEMBER_SORT_ORDER.equals(event.getProperty())) {
				fMethodsViewer.refresh();
			}
		}
	}
	
		
	/**
	 * Adds the entry if new. Inserted at the beginning of the history entries list.
	 */		
	private void addHistoryEntry(IJavaElement entry) {
		if (fInputHistory.contains(entry)) {
			fInputHistory.remove(entry);
		}
		fInputHistory.add(0, entry);
		fHistoryDropDownAction.setEnabled(true);
	}
	
	private void updateHistoryEntries() {