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/CompilationUnitEditorActionContributor.java
/*
				 * @see RetargetAction#propogateChange(PropertyChangeEvent)
				 */
				protected void propogateChange(PropertyChangeEvent event) {
					if (ENABLED.equals(event.getProperty())) {
						Boolean bool= (Boolean) event.getNewValue();
						setEnabled(bool.booleanValue());
					} else if (TEXT.equals(event.getProperty()))
						setText((String) event.getNewValue());
					else if (TOOL_TIP_TEXT.equals(event.getProperty()))
						setToolTipText((String) event.getNewValue());
					else if (CHECKED.equals(event.getProperty())) {
						Boolean bool= (Boolean) event.getNewValue();
						setChecked(bool.booleanValue());
					}
				}
		
				/*
				 * @see RetargetAction#setActionHandler(IAction)
				 */
				protected void setActionHandler(IAction newHandler) {
					
					
					super.setActionHandler(newHandler);
					
					
					if (newHandler != null) {
						setText(newHandler.getText());
						setToolTipText(newHandler.getToolTipText());
						setDescription(newHandler.getDescription());