Attachment 93426 Details for Bug 223892 – Fix

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

[patch] Fix

closeable_hovers_patch.txt (text/plain), 1.06 KB, created by Markus Keller

on 2008-03-25 12:43:22 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Markus Keller

Created: 2008-03-25 12:43:22 EDT

Size: 1.06 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.jface.text
>Index: src/org/eclipse/jface/internal/text/html/BrowserInformationControl.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.jface.text/src/org/eclipse/jface/internal/text/html/BrowserInformationControl.java,v
>retrieving revision 1.21
>diff -u -r1.21 BrowserInformationControl.java
>--- src/org/eclipse/jface/internal/text/html/BrowserInformationControl.java	19 Mar 2008 13:54:11 -0000	1.21
>+++ src/org/eclipse/jface/internal/text/html/BrowserInformationControl.java	25 Mar 2008 16:40:12 -0000
>@@ -627,4 +627,15 @@
> 		return new Point(widthInChars * width, heightInChars * height);
> 	}
> 
>+	/*
>+	 * @see org.eclipse.jface.text.AbstractInformationControl#setFocus()
>+	 */
>+	public void setFocus() {
>+		if ("carbon".equals(SWT.getPlatform())) //$NON-NLS-1$
>+			// Workaround for https://bugs.eclipse.org/bugs/show_bug.cgi?id=89820 :
>+			// Don't set focus to browser widget to avoid losing keyboard control.
>+			getShell().forceFocus();
>+		else
>+			super.setFocus();
>+	}
> }

Actions: View | Diff

Attachments on bug 223892: 93426