diff options
author | sdimov | 2011-08-10 12:04:02 +0000 |
---|---|---|
committer | sdimov | 2011-08-10 12:04:02 +0000 |
commit | ae83f6ac912a6fc8912ba370ef9d39e7426caaf9 (patch) | |
tree | 9faa6f5ee5ad187b09d968a066700f8da12ad39c | |
parent | 7e3786dce6d0d6917ac323d763bb4500ba564d39 (diff) | |
download | webtools.dali-ae83f6ac912a6fc8912ba370ef9d39e7426caaf9.tar.gz webtools.dali-ae83f6ac912a6fc8912ba370ef9d39e7426caaf9.tar.xz webtools.dali-ae83f6ac912a6fc8912ba370ef9d39e7426caaf9.zip |
[354363] Delete entity from diagram doesn't remove it from the project tree
-rw-r--r-- | jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.ui/src/org/eclipse/jpt/jpadiagrameditor/ui/internal/util/JpaArtifactFactory.java | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.ui/src/org/eclipse/jpt/jpadiagrameditor/ui/internal/util/JpaArtifactFactory.java b/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.ui/src/org/eclipse/jpt/jpadiagrameditor/ui/internal/util/JpaArtifactFactory.java index cbedab6479..6e68ace118 100644 --- a/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.ui/src/org/eclipse/jpt/jpadiagrameditor/ui/internal/util/JpaArtifactFactory.java +++ b/jpa_diagram_editor/plugins/org.eclipse.jpt.jpadiagrameditor.ui/src/org/eclipse/jpt/jpadiagrameditor/ui/internal/util/JpaArtifactFactory.java @@ -431,9 +431,8 @@ public class JpaArtifactFactory { Display.getDefault().asyncExec(new Runnable() { public void run() { try { - if (!cu.isWorkingCopy()) - JPAEditorUtil.becomeWorkingCopy(cu); - cu.commitWorkingCopy(true, new NullProgressMonitor()); + if (cu.isWorkingCopy()) + cu.commitWorkingCopy(true, new NullProgressMonitor()); cu.save(new NullProgressMonitor(), true); } catch (JavaModelException e) { if (cu.getResource().getProject().isAccessible() && cu.getResource().isAccessible()) |