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
else
			return null;
	}
	
	/*
	 * @see ITextHover#getHoverInfo(ITextViewer, IRegion)
	 */
	public String getHoverInfo(ITextViewer textViewer, IRegion hoverRegion) {
		if (!isEnabled() || fHoverDescriptor == null)
			return null;
		if (isCreated() || createHover())
			return fHover.getHoverInfo(textViewer, hoverRegion);
		else
			return null;
	}
	public void dispose() {
		fListenerRemover.dispose();
		
	}
	
	private boolean isCreated() {
		return fHover != null;
	}
	private boolean createHover() {
		fHover= fHoverDescriptor.createTextHover();
		if (fHover != null)
			fHover.setEditor(getEditor());
		return isCreated();
	}
}