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
/**********************************************************************
Copyright (c) 2000, 2002 IBM Corp. and others.
All rights reserved. This program and the accompanying materials
are made available under the terms of the Common Public License v1.0
which accompanies this distribution, and is available at
http://www.eclipse.org/legal/cpl-v10.html
Contributors:
    IBM Corporation - Initial implementation
**********************************************************************/
package org.eclipse.jdt.internal.ui.javaeditor;
import java.util.ArrayList;
import java.util.Iterator;
import java.util.List;
import java.util.ResourceBundle;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.core.runtime.IStatus;
import org.eclipse.swt.SWT;
import org.eclipse.swt.custom.BidiSegmentEvent;