Bug 26271 Link-Like navigation: Pixel not removed
20021113 1. Create class public class A { private void fill(StringBuffer buffer, String s) { buffer.append(s); } } 2. CTRL pressed all the time 3. move the mouse over 'append' 4. While still presing CTRL go over 's' (same line) 5. You can see that there is still a blue pixel under 'append'
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;