| commit | ae83f6ac912a6fc8912ba370ef9d39e7426caaf9 | [log] [tgz] |
|---|---|---|
| author | sdimov <sdimov> | Wed Aug 10 12:04:02 2011 +0000 |
| committer | sdimov <sdimov> | Wed Aug 10 12:04:02 2011 +0000 |
| tree | 9faa6f5ee5ad187b09d968a066700f8da12ad39c | |
| parent | 7e3786dce6d0d6917ac323d763bb4500ba564d39 [diff] |
[354363] Delete entity from diagram doesn't remove it from the project tree
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 cbedab6..6e68ace 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 @@ 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())