diff options
| author | sdimov | 2011-08-10 11:49:59 +0000 |
|---|---|---|
| committer | sdimov | 2011-08-10 11:49:59 +0000 |
| commit | 8afa4babadaa95f345746e87f9c314d60e67ed42 (patch) | |
| tree | 150e3aa06c272cd36f2480c77d01b1c023910bd0 | |
| parent | 4cfffe9124b11364643d80959028fda5e2978785 (diff) | |
| download | webtools.dali-8afa4babadaa95f345746e87f9c314d60e67ed42.tar.gz webtools.dali-8afa4babadaa95f345746e87f9c314d60e67ed42.tar.xz webtools.dali-8afa4babadaa95f345746e87f9c314d60e67ed42.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 230628b08b..9a2b72f52a 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 @@ -449,9 +449,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()) |