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/text/java/hover/JavaEditorTextHoverProxy.java
class ListenerRemover implements IPartListener {
		void dispose() {
			IPreferenceStore store= JavaPlugin.getDefault().getPreferenceStore();
			store.removePropertyChangeListener(fEnableStateUpdater);
			fEnableStateUpdater= null;
			stopListening();
			setEditor(null);
		}
		private void stopListening() {
			getEditor().getSite().getWorkbenchWindow().getPartService().removePartListener(this);
		}
		public void partClosed(IWorkbenchPart part) {
			if (part == getEditor())
				dispose();
		}
		public void partOpened(IWorkbenchPart part) {
		}
		
		public void partDeactivated(IWorkbenchPart part) {
		}
		
		public void partActivated(IWorkbenchPart part) {
		}
		public void partBroughtToTop(IWorkbenchPart part) {
		}	
	};
	
	class EnableStateUpdater implements IPropertyChangeListener {