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 static final int LABEL_FLAGS=  JavaElementLabels.ALL_FULLY_QUALIFIED
		| JavaElementLabels.M_PRE_RETURNTYPE | JavaElementLabels.M_PARAMETER_TYPES | JavaElementLabels.M_PARAMETER_NAMES | JavaElementLabels.M_EXCEPTIONS 
		| JavaElementLabels.F_PRE_TYPE_SIGNATURE;
	
	private Browser fBrowser;
	
	private StyledText fText;
	
	private DefaultInformationControl.IInformationPresenter fPresenter;
	
	private TextPresentation fPresentation= new TextPresentation();
	
	private SelectAllAction fSelectAllAction;
	private boolean fIsUsingBrowserWidget;
	/**
	 * The Javadoc view's select all action.
	 */
	private static class SelectAllAction extends Action {
		
		private Control fControl;
		
		private SelectionProvider fSelectionProvider;
		/**
		 * Creates the action.
		 *