diff options
| author | Pierre-Charles David | 2016-11-02 14:07:57 +0000 |
|---|---|---|
| committer | Pierre-Charles David | 2016-11-24 14:19:48 +0000 |
| commit | 2ac87b5afcbe4b3df70f23eaff97e65a8e6fb40f (patch) | |
| tree | ae7e742dc920a5be9a99928951c8ea3250662b47 | |
| parent | 754d152de009382b0ca1ceebe7aa4feeab50920a (diff) | |
| download | org.eclipse.sirius-2ac87b5afcbe4b3df70f23eaff97e65a8e6fb40f.tar.gz org.eclipse.sirius-2ac87b5afcbe4b3df70f23eaff97e65a8e6fb40f.tar.xz org.eclipse.sirius-2ac87b5afcbe4b3df70f23eaff97e65a8e6fb40f.zip | |
[449007] Do not reuse PropertySheetPage which were disposed
Bug: 449007
Change-Id: I1fe4aeb200998539501dbc6f9c2f47cadef83689
Signed-off-by: Pierre-Charles David <pierre-charles.david@obeo.fr>
| -rw-r--r-- | plugins/org.eclipse.sirius.editor/src-gen/org/eclipse/sirius/editor/editorPlugin/SiriusEditor.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/org.eclipse.sirius.editor/src-gen/org/eclipse/sirius/editor/editorPlugin/SiriusEditor.java b/plugins/org.eclipse.sirius.editor/src-gen/org/eclipse/sirius/editor/editorPlugin/SiriusEditor.java index 6c04961024..9e30740714 100644 --- a/plugins/org.eclipse.sirius.editor/src-gen/org/eclipse/sirius/editor/editorPlugin/SiriusEditor.java +++ b/plugins/org.eclipse.sirius.editor/src-gen/org/eclipse/sirius/editor/editorPlugin/SiriusEditor.java @@ -1004,7 +1004,7 @@ public class SiriusEditor extends MultiPageEditorPart * This accesses a cached version of the property sheet. */ public TabbedPropertySheetPage getPropertySheetPage() { - if (propertySheetPage == null || propertySheetPage.getControl() == null) { + if (propertySheetPage == null || propertySheetPage.getControl() == null || propertySheetPage.getControl().isDisposed()) { propertySheetPage = new ViewpointPropertySheetPage(this); } |