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/ui/text/JavaSourceViewerConfiguration.java
/*
	 * @see SourceViewerConfiguration#getDoubleClickStrategy(ISourceViewer, String)
	 */
	public ITextDoubleClickStrategy getDoubleClickStrategy(ISourceViewer sourceViewer, String contentType) {
		if (JavaPartitionScanner.JAVA_DOC.equals(contentType) ||
				JavaPartitionScanner.JAVA_MULTI_LINE_COMMENT.equals(contentType) ||
				JavaPartitionScanner.JAVA_SINGLE_LINE_COMMENT.equals(contentType))
			return new DefaultTextDoubleClickStrategy();
		else if (JavaPartitionScanner.JAVA_STRING.equals(contentType))
			return new JavaStringDoubleClickSelector();
		return new JavaDoubleClickSelector();
	}
	/*
	 * @see SourceViewerConfiguration#getDefaultPrefix(ISourceViewer, String)
	 * @since 2.0
	 */
	public String[] getDefaultPrefixes(ISourceViewer sourceViewer, String contentType) {
		return new String[] { "//", "" }; 
	}
	/*
	 * @see SourceViewerConfiguration#getIndentPrefixes(ISourceViewer, String)
	 */
	public String[] getIndentPrefixes(ISourceViewer sourceViewer, String contentType) {
		Vector vector= new Vector();
		
				
		Preferences preferences= JavaCore.getPlugin().getPluginPreferences();
		int tabWidth= preferences.getInt(JavaCore.FORMATTER_TAB_SIZE);
		boolean useSpaces= getPreferenceStore().getBoolean(SPACES_FOR_TABS);