[460432] Fix problem of dispose for tabbar

This dispose must be called in UI thread.

Bug: 460432
Change-Id: Iafc9a03679c0ad0acb788550c574254788de3078
Signed-off-by: Laurent Redor <laurent.redor@obeo.fr>

1 files changed, 9 insertions, 1 deletions

diff --git a/plugins/org.eclipse.sirius.diagram.ui/src-diag/org/eclipse/sirius/diagram/ui/tools/internal/editor/DDiagramEditorImpl.java b/plugins/org.eclipse.sirius.diagram.ui/src-diag/org/eclipse/sirius/diagram/ui/tools/internal/editor/DDiagramEditorImpl.java
index 5cc883dc12..19c502dde9 100644
--- a/plugins/org.eclipse.sirius.diagram.ui/src-diag/org/eclipse/sirius/diagram/ui/tools/internal/editor/DDiagramEditorImpl.java
+++ b/plugins/org.eclipse.sirius.diagram.ui/src-diag/org/eclipse/sirius/diagram/ui/tools/internal/editor/DDiagramEditorImpl.java
@@ -734,7 +734,15 @@ public class DDiagramEditorImpl extends SiriusDiagramEditor implements DDiagramE
     protected void disposeGraphicalListeners() {
         // Dispose the tabbar (to avoir memory leak)
         if (getTabbar() != null) {
-            getTabbar().dispose();
+            if (Display.getCurrent() == null) {
+                PlatformUI.getWorkbench().getDisplay().syncExec(new Runnable() {
+                    public void run() {
+                        getTabbar().dispose();
+                    }
+                });
+            } else {
+                getTabbar().dispose();
+            }
             setTabbar(null);
         }
         // Dispose post-commit listener