Bug 40787 [plan item] Affordance for F2 opportunity in Java editor
There should be a small label explaining that F2 pins the hover.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/hover/SourceViewerInformationControl.java
import org.eclipse.swt.widgets.Layout;
import org.eclipse.swt.widgets.Shell;
import org.eclipse.jface.text.Document;
import org.eclipse.jface.text.IDocument;
import org.eclipse.jface.text.IDocumentPartitioner;
import org.eclipse.jface.text.IInformationControl;
import org.eclipse.jface.text.IInformationControlExtension;
import org.eclipse.jface.text.source.ISourceViewer;
import org.eclipse.jface.text.source.SourceViewer;
import org.eclipse.jdt.ui.text.JavaSourceViewerConfiguration;
import org.eclipse.jdt.internal.ui.JavaPlugin;
import org.eclipse.jdt.internal.ui.javaeditor.JavaSourceViewer;
/**
 * Source viewer based implementation of <code>IInformationControl</code>. 
 * Displays information in a source viewer. 
 * 
 * @since 3.0
 */
public class SourceViewerInformationControl implements IInformationControl, IInformationControlExtension {
	
	/**
	 * Layout used to achive the "tool tip" look, i.e., flat with a thin boarder.
	 */
	private static class BorderFillLayout extends Layout {
		
		
		final int fBorderSize;
		/**
		 * Creates a fill layout with a border.
		 *