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/internal/ui/javaeditor/IJavaEditorActionConstants.java
/**
	 * ID of the action to toggle the style of the presentation.
	 */
	public static final String TOGGLE_PRESENTATION= "togglePresentation"; 
	/**
	 * ID of the action to toggle the visibility of the text hover.
	 */
	public static final String TOGGLE_TEXT_HOVER= "toggleTextHover"; 
	
	
	
	/**
	 * ID of the toolbar action to go to the previous error.
	 */
	public static final String PREVIOUS_ERROR= "gotoPreviousError"; 
	
	
	/**
	 * ID of the toolbar action to go to the next error.
	 */
	public static final String NEXT_ERROR= "gotoNextError"; 
}