Bug 26261 Confusion after setting hover prefs due to disabled hover - remove hover toggle
20021113 i set the 'shift' hover to source - nothing happens on hovering with shift down
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/hover/JavaEditorTextHoverProxy.java
private ListenerRemover fListenerRemover;
	public JavaEditorTextHoverProxy(JavaEditorTextHoverDescriptor descriptor, IEditorPart editor) {
		fEnabled= JavaPlugin.getDefault().getPreferenceStore().getBoolean(PreferenceConstants.EDITOR_SHOW_HOVER);
		fHoverDescriptor= descriptor;
		setEditor(editor);
	}
	/*
	 * @see IJavaEditorTextHover#setEditor(IEditorPart)
	 */
	public void setEditor(IEditorPart editor) {
		if (getEditor() != null && fListenerRemover != null)
			fListenerRemover.stopListening();
			
		super.setEditor(editor);
		if (fHover != null)
			fHover.setEditor(getEditor());
			
		}
	}
	public boolean isEnabled() {
		return true;
	}
	/*
	 * @see ITextHover#getHoverRegion(ITextViewer, int)
	 */
	public IRegion getHoverRegion(ITextViewer textViewer, int offset) {
		if (!isEnabled() || fHoverDescriptor == null)
			return null;
		if (isCreated() || createHover())
			return fHover.getHoverRegion(textViewer, offset);