diff options
| author | kmoore | 2012-03-26 19:49:21 +0000 |
|---|---|---|
| committer | kmoore | 2012-03-26 19:49:21 +0000 |
| commit | ceae25be6f9c5bdaaa111e1b9b9f44d25da9a284 (patch) | |
| tree | b3c8e6682edd6ba92499622e1d9e53a4ca95bdeb /jpa | |
| parent | b6b980a61465e86a3d5b22ae89f3256d46a289ab (diff) | |
| download | webtools.dali-ceae25be6f9c5bdaaa111e1b9b9f44d25da9a284.tar.gz webtools.dali-ceae25be6f9c5bdaaa111e1b9b9f44d25da9a284.tar.xz webtools.dali-ceae25be6f9c5bdaaa111e1b9b9f44d25da9a284.zip | |
added comment
Diffstat (limited to 'jpa')
| -rw-r--r-- | jpa/plugins/org.eclipse.jpt.jpa.core/src/org/eclipse/jpt/jpa/core/resource/xml/JpaXmlResource.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jpa/plugins/org.eclipse.jpt.jpa.core/src/org/eclipse/jpt/jpa/core/resource/xml/JpaXmlResource.java b/jpa/plugins/org.eclipse.jpt.jpa.core/src/org/eclipse/jpt/jpa/core/resource/xml/JpaXmlResource.java index d8f2af4944..fba2afd075 100644 --- a/jpa/plugins/org.eclipse.jpt.jpa.core/src/org/eclipse/jpt/jpa/core/resource/xml/JpaXmlResource.java +++ b/jpa/plugins/org.eclipse.jpt.jpa.core/src/org/eclipse/jpt/jpa/core/resource/xml/JpaXmlResource.java @@ -113,7 +113,7 @@ public class JpaXmlResource // unload events can happen before the resource set is removed - should always react to unload events if (this.loadedFlagCleared(notification)) { super.eNotify(notification); - if (this.isReverting()) { + if (this.isReverting()) {// closing a modified file without saving this.resourceModelReverted(); } else { this.resourceModelUnloaded(); |