diff options
| author | kmoore | 2011-03-08 15:41:11 +0000 |
|---|---|---|
| committer | kmoore | 2011-03-08 15:41:11 +0000 |
| commit | cb5165a134aac7e53b4d9255f7850bafa6680841 (patch) | |
| tree | a3a5609e09e4e641d2d655af7681a10b44fda2b8 | |
| parent | 61d44c88ffb397aa722283658f4b19360156d0c9 (diff) | |
| download | webtools.dali-cb5165a134aac7e53b4d9255f7850bafa6680841.tar.gz webtools.dali-cb5165a134aac7e53b4d9255f7850bafa6680841.tar.xz webtools.dali-cb5165a134aac7e53b4d9255f7850bafa6680841.zip | |
338945 - isDisposed() check necessary to prevent an exception when deleting an Entity
| -rw-r--r-- | jpa/plugins/org.eclipse.jpt.jpa.ui/src/org/eclipse/jpt/jpa/ui/internal/views/structure/JpaStructurePage.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/jpa/plugins/org.eclipse.jpt.jpa.ui/src/org/eclipse/jpt/jpa/ui/internal/views/structure/JpaStructurePage.java b/jpa/plugins/org.eclipse.jpt.jpa.ui/src/org/eclipse/jpt/jpa/ui/internal/views/structure/JpaStructurePage.java index 5e8b53edfe..dffa843989 100644 --- a/jpa/plugins/org.eclipse.jpt.jpa.ui/src/org/eclipse/jpt/jpa/ui/internal/views/structure/JpaStructurePage.java +++ b/jpa/plugins/org.eclipse.jpt.jpa.ui/src/org/eclipse/jpt/jpa/ui/internal/views/structure/JpaStructurePage.java @@ -222,6 +222,9 @@ public class JpaStructurePage this.jpaFile = jpaFile; SWTUtil.asyncExec(new Runnable(){ public void run() { + if (JpaStructurePage.this.viewer.getControl().isDisposed()) { + return; + } JpaStructurePage.this.viewer.setInput(JpaStructurePage.this.jpaFile); } }); |