diff options
| author | Eric Moffatt | 2010-10-14 15:11:07 +0000 |
|---|---|---|
| committer | Paul Webster | 2013-02-14 13:45:17 +0000 |
| commit | aaf11be5c286198d040428ce8a75edced0c25e8e (patch) | |
| tree | deeb87c62bad4cba4b778c90450f2a5f57a273c5 | |
| parent | 1101e3ab94927e6b8f3244fd99ae250f7933b295 (diff) | |
| download | eclipse.platform.ui-aaf11be5c286198d040428ce8a75edced0c25e8e.tar.gz eclipse.platform.ui-aaf11be5c286198d040428ce8a75edced0c25e8e.tar.xz eclipse.platform.ui-aaf11be5c286198d040428ce8a75edced0c25e8e.zip | |
Fix for Bug 321155 - [DynamicGUI] UIExtensionTracker calling Display.syncExec() on disposed Display
| -rw-r--r-- | bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/registry/UIExtensionTracker.java | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/registry/UIExtensionTracker.java b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/registry/UIExtensionTracker.java index 5154f71f4b4..6bf75695654 100644 --- a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/registry/UIExtensionTracker.java +++ b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/registry/UIExtensionTracker.java @@ -39,7 +39,10 @@ public class UIExtensionTracker extends ExtensionTracker { } protected void applyRemove(final IExtensionChangeHandler handler, final IExtension removedExtension, final Object[] objects) { - display.syncExec(new Runnable() { + if (display.isDisposed()) + return; + + display.syncExec(new Runnable() { public void run() { try { @@ -52,6 +55,9 @@ public class UIExtensionTracker extends ExtensionTracker { } protected void applyAdd(final IExtensionChangeHandler handler, final IExtension addedExtension) { + if (display.isDisposed()) + return; + display.syncExec(new Runnable() { public void run() { try { |