Bug 62591 [misc] Javadoc view keeps prompting about HTML widget
Dear Javadoc view, I was pleased the first time you warned me about the lack of an HTML widget on my platform. However, now that you've told me about it 100 times, I think it's time you and I stop talking about this problem. Thanks, Jared Linux-GTK
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/infoviews/JavadocView.java
private ListenerList fListeners= new ListenerList();
		
		private Control fControl;
		/**
		 * Creates a new selection provider.
		 * 
		 * @param control	the widget
		 */
		public SelectionProvider(Control control) {
		    Assert.isNotNull(control);
			fControl= control;
			if (fControl instanceof StyledText) {
			    ((StyledText)fControl).addSelectionListener(new SelectionAdapter() {
					public void widgetSelected(SelectionEvent e) {
					    fireSelectionChanged();
					}
			    });
			} else {
				
			}
		}
		
		/**
		 * Sends a selection changed event to all listeners.
		 */
		public void fireSelectionChanged() {