From 7472a8301e10e599107dad60bb5f4f7be9c52567 Mon Sep 17 00:00:00 2001
From: Sergey Prigogin
Date: Fri, 13 Sep 2013 16:34:48 -0700
Subject: Bug 417220 - MakeContentProvider causes SWTException: Widget is
 disposed.

---
 .../src/org/eclipse/cdt/make/ui/MakeContentProvider.java                | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/ui/MakeContentProvider.java b/build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/ui/MakeContentProvider.java
index c4beefe008f..1c9f753f5c5 100644
--- a/build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/ui/MakeContentProvider.java
+++ b/build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/ui/MakeContentProvider.java
@@ -235,6 +235,8 @@ public class MakeContentProvider implements ITreeContentProvider, IMakeTargetLis
 		Display.getDefault().asyncExec(new Runnable() {
 			@Override
 			public void run() {
+				if (viewer == null || viewer.getControl() == null || viewer.getControl().isDisposed())
+					return;
 				viewer.refresh();
 			}
 		});
-- 
cgit v1.2.3