| commit | 50003e78548a3d45fd23da59eddcae635c337c7c | [log] [tgz] |
|---|---|---|
| author | Paul Leacu <pleacu@redhat.com> | Mon Sep 25 13:24:16 2017 -0400 |
| committer | Paul Leacu <pleacu@redhat.com> | Mon Sep 25 13:24:16 2017 -0400 |
| tree | 3fda682d1a1ae3853795f105d0a68bf159aba429 | |
| parent | 11e3f4eed768eb1689556ae45e9ca8d710a62a48 [diff] |
[522764] Check that the update tab widget isn't already disposed. Change-Id: I89ebb8b1c761b603ce3d780374c5ad24169a75bf Signed-off-by: Paul Leacu <pleacu@redhat.com>
diff --git a/plugins/org.eclipse.bpmn2.modeler.ui/src/org/eclipse/bpmn2/modeler/ui/editor/DesignEditor.java b/plugins/org.eclipse.bpmn2.modeler.ui/src/org/eclipse/bpmn2/modeler/ui/editor/DesignEditor.java index 86b585b..f2d1b42 100644 --- a/plugins/org.eclipse.bpmn2.modeler.ui/src/org/eclipse/bpmn2/modeler/ui/editor/DesignEditor.java +++ b/plugins/org.eclipse.bpmn2.modeler.ui/src/org/eclipse/bpmn2/modeler/ui/editor/DesignEditor.java
@@ -330,6 +330,8 @@ } public void updateTabs() { + if (tabFolder.isDisposed()) + return; // if (!tabFolder.isLayoutDeferred()) { if (tabFolder.getItemCount()==1) { tabFolder.setTabHeight(0);