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
(LINE_NUMBER_COLOR.equals(property) || 
						PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT.equals(property)  ||
						PREFERENCE_COLOR_BACKGROUND.equals(property))) {
					
					initializeLineNumberRulerColumn(fLineNumberRulerColumn);
			}
			if (PreferenceConstants.EDITOR_SHOW_HOVER.equals(property)) {
				updateHoverBehavior();
			}
			if (isJavaEditorHoverProperty(property)) {
				updateHoverBehavior();
			}				
			
		} finally {
			super.handlePreferenceStoreChanged(event);
		}
	}
	private boolean isJavaEditorHoverProperty(String property) {
		return	PreferenceConstants.EDITOR_DEFAULT_HOVER.equals(property)
			|| PreferenceConstants.EDITOR_NONE_HOVER.equals(property)
			|| PreferenceConstants.EDITOR_CTRL_HOVER.equals(property)
			|| PreferenceConstants.EDITOR_SHIFT_HOVER.equals(property)
			|| PreferenceConstants.EDITOR_CTRL_ALT_HOVER.equals(property)
			|| PreferenceConstants.EDITOR_CTRL_SHIFT_HOVER.equals(property)
			|| PreferenceConstants.EDITOR_CTRL_ALT_SHIFT_HOVER.equals(property)
			|| PreferenceConstants.EDITOR_ALT_SHIFT_HOVER.equals(property);
	}
	
	/**
	 * Shows the line number ruler column.