diff options
| author | Sergey Prigogin | 2013-09-13 23:34:48 +0000 |
|---|---|---|
| committer | Sergey Prigogin | 2013-09-13 23:58:59 +0000 |
| commit | ef1eaf2b83782bfce126edcfa543235a678ab7e4 (patch) | |
| tree | ab35c09c7293cdd3bb2b67439419355cee197bea /build/org.eclipse.cdt.make.ui | |
| parent | 4d0b4e615f1a4ab77134133a9d4ffe3118f5dafc (diff) | |
| download | org.eclipse.cdt-ef1eaf2b83782bfce126edcfa543235a678ab7e4.tar.gz org.eclipse.cdt-ef1eaf2b83782bfce126edcfa543235a678ab7e4.tar.xz org.eclipse.cdt-ef1eaf2b83782bfce126edcfa543235a678ab7e4.zip | |
Bug 417220 - MakeContentProvider causes SWTException: Widget is
disposed.
Diffstat (limited to 'build/org.eclipse.cdt.make.ui')
| -rw-r--r-- | build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/ui/MakeContentProvider.java | 2 |
1 files changed, 2 insertions, 0 deletions
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(); } }); |