diff options
| -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 { |