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
* @param control the widget
		 * @param selectionProvider the selection provider
		 */
		public SelectAllAction(Control control, SelectionProvider selectionProvider) {
			super("selectAll"); 
			Assert.isNotNull(control);
			Assert.isNotNull(selectionProvider);
			fControl= control;
			fSelectionProvider= selectionProvider;
			setText(InfoViewMessages.getString("SelectAllAction.label")); 
			setToolTipText(InfoViewMessages.getString("SelectAllAction.tooltip")); 
			setDescription(InfoViewMessages.getString("SelectAllAction.description")); 
			WorkbenchHelp.setHelp(this, IAbstractTextEditorHelpContextIds.SELECT_ALL_ACTION);
		}
		/**
		 * Selects all in the view.
		 */
		public void run() {
			if (fControl instanceof StyledText)
		        ((StyledText)fControl).selectAll();
			else {
				
				fSelectionProvider.fireSelectionChanged();
			}
		}
	}
	/**
	 * The Javadoc view's selection provider.
	 */
	private static class SelectionProvider implements ISelectionProvider {