diff options
| author | Eric Moffatt | 2010-10-14 15:11:07 +0000 |
|---|---|---|
| committer | Paul Webster | 2013-02-14 13:49:31 +0000 |
| commit | b2c04ce13649195893df2c2a637e013f9014fd25 (patch) | |
| tree | c6ff302aaf1f4661ebc9f1c1a309fe5385192cc6 | |
| parent | ee57e66cde7637caf434dc4cbaa5b1362f022c85 (diff) | |
| download | eclipse.platform.ui-b2c04ce13649195893df2c2a637e013f9014fd25.tar.gz eclipse.platform.ui-b2c04ce13649195893df2c2a637e013f9014fd25.tar.xz eclipse.platform.ui-b2c04ce13649195893df2c2a637e013f9014fd25.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 { |