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/javaeditor/JavaEditor.java
public String getInformation(ITextViewer textViewer, IRegion subject) {
						return hoverInfo;
					}
				};
				fInformationPresenter.setOffset(offset);	
				fInformationPresenter.setInformationProvider(informationProvider, contentType);
				fInformationPresenter.showInformation();
			} catch (BadLocationException e) {				
			}
		}
		
		private int computeOffsetAtLocation(ITextViewer textViewer, int x, int y) {
			
			StyledText styledText= textViewer.getTextWidget();
			IDocument document= textViewer.getDocument();
			IRegion visibleRegion= textViewer.getVisibleRegion();
			
			if (document == null)
				return -1;		
			try {
				return styledText.getOffsetAtLocation(new Point(x, y)) + visibleRegion.getOffset();
			} catch (IllegalArgumentException e) {
				return -1;	
			}
		}
	}
	
	
	private final static String LINE_NUMBER_RULER= PreferenceConstants.EDITOR_LINE_NUMBER_RULER;