diff options
author | Pierre-Charles David | 2015-11-24 16:02:28 +0000 |
---|---|---|
committer | Pierre-Charles David | 2015-11-24 16:02:28 +0000 |
commit | 73014288469819db156ea2c21364ebca10d2a6c9 (patch) | |
tree | 06458c275d57a3b7088c9879a9a1fa6c0a26548c | |
parent | 320c00538e62b5255f05fb211769f4370ee6e79d (diff) | |
download | org.eclipse.eef-73014288469819db156ea2c21364ebca10d2a6c9.tar.gz org.eclipse.eef-73014288469819db156ea2c21364ebca10d2a6c9.tar.xz org.eclipse.eef-73014288469819db156ea2c21364ebca10d2a6c9.zip |
Fix 'widget is disposed' exception in EEFSection
Change-Id: Ie06ecaa3aa00de8ef5419254a03392b3a0c876b1
Signed-off-by: Pierre-Charles David <pierre-charles.david@obeo.fr>
-rw-r--r-- | plugins/org.eclipse.eef.ide.ui/src/org/eclipse/eef/ide/ui/internal/data/EEFSection.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/plugins/org.eclipse.eef.ide.ui/src/org/eclipse/eef/ide/ui/internal/data/EEFSection.java b/plugins/org.eclipse.eef.ide.ui/src/org/eclipse/eef/ide/ui/internal/data/EEFSection.java index a4237bc91..1fd315fcb 100644 --- a/plugins/org.eclipse.eef.ide.ui/src/org/eclipse/eef/ide/ui/internal/data/EEFSection.java +++ b/plugins/org.eclipse.eef.ide.ui/src/org/eclipse/eef/ide/ui/internal/data/EEFSection.java @@ -176,7 +176,9 @@ public class EEFSection implements ISection { eefText.addLabelExpressionConsumer(new IConsumer<String>() { @Override public void apply(String value) { - label.setText(value); + if (!label.isDisposed()) { + label.setText(value); + } } }); } else if (widget instanceof Text && ((Text) widget).getData() instanceof EEFText) { |