From f0599555d32470b29d72d70259f89c5c2686ff88 Mon Sep 17 00:00:00 2001
From: Alena Laskavaia <elaskavaia.cdt@gmail.com>
Date: Thu, 12 Aug 2010 18:58:07 +0000
Subject: [PATCH] a little check preventing Widget is disposed exception

---
 .../cdt/internal/ui/text/c/hover/AbstractAnnotationHover.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/text/c/hover/AbstractAnnotationHover.java b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/text/c/hover/AbstractAnnotationHover.java
index 07289235c08..33e39b8e258 100644
--- a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/text/c/hover/AbstractAnnotationHover.java
+++ b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/text/c/hover/AbstractAnnotationHover.java
@@ -192,7 +192,7 @@ public class AbstractAnnotationHover extends AbstractCEditorTextHover {
 		@Override
 		public void setFocus() {
 			super.setFocus();
-			if (fFocusControl != null)
+			if (fFocusControl != null && !fFocusControl.isDisposed())
 				fFocusControl.setFocus();
 		}