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
/**
		 * Creates a dispatch action.
		 */
		public InformationDispatchAction(ResourceBundle resourceBundle, String prefix, final TextOperationAction textOperationAction) {
			super(resourceBundle, prefix, JavaEditor.this);
			if (textOperationAction == null)
				throw new IllegalArgumentException();
			fTextOperationAction= textOperationAction;
		}
		
		/*
		 * @see org.eclipse.jface.action.IAction#run()
		 */
		public void run() {
			ISourceViewer sourceViewer= getSourceViewer();
			if (sourceViewer == null) {	
				fTextOperationAction.run();
				return;
			}
				
			if (! (sourceViewer instanceof ITextViewerExtension2)) {
				fTextOperationAction.run();
				return;
			}
				
			ITextViewerExtension2 textViewerExtension2= (ITextViewerExtension2) sourceViewer;
			
			ITextHover textHover= textViewerExtension2.getCurrentTextHover();
			if (textHover == null) {