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/ui/PreferenceConstants.java
/**
	 * A named preference that controls whether the 'format Javadoc tags'
	 * feature is enabled.
	 * <p>
	 * Value is of type <code>Boolean</code>.
	 * </p>
	 * @since 2.1
	 */
	public final static String EDITOR_FORMAT_JAVADOCS= "formatJavaDocs"; 
	/**
	 * A named preference that controls whether the 'smart paste' feature is
	 * enabled.
	 * <p>
	 * Value is of type <code>Boolean</code>.
	 * </p>
	 * @since 2.1
	 */
	public final static String EDITOR_SMART_PASTE= "smartPaste"; 
	/**
	 * A named preference that controls whether the 'smart home-end' feature is
	 * enabled.
	 * <p>
	 * Value is of type <code>Boolean</code>.
	 * </p>
	 * @since 2.1
	 */
	public final static String EDITOR_SMART_HOME_END= AbstractTextEditor.PREFERENCE_NAVIGATION_SMART_HOME_END;
	/**
	 * A named preference that controls if temporary problems are evaluated and shown in the UI.
	 * <p>