diff options
| author | bblajer | 2007-04-13 15:21:21 +0000 |
|---|---|---|
| committer | bblajer | 2007-04-13 15:21:21 +0000 |
| commit | 05547dd94ad5dd45a7393c9f80e7c35e8e85ec67 (patch) | |
| tree | dd115118f7387a71c3f73b8cc9d7efb1c355e09e /plugins/org.eclipse.gmf.runtime.lite/src/org | |
| parent | d638de3eba1bd3227f30de4122b4a3656f71d610 (diff) | |
| download | org.eclipse.gmf-tooling-05547dd94ad5dd45a7393c9f80e7c35e8e85ec67.tar.gz org.eclipse.gmf-tooling-05547dd94ad5dd45a7393c9f80e7c35e8e85ec67.tar.xz org.eclipse.gmf-tooling-05547dd94ad5dd45a7393c9f80e7c35e8e85ec67.zip | |
Never save read-only resources
Diffstat (limited to 'plugins/org.eclipse.gmf.runtime.lite/src/org')
| -rw-r--r-- | plugins/org.eclipse.gmf.runtime.lite/src/org/eclipse/gmf/runtime/lite/parts/DiagramDisplayer.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/org.eclipse.gmf.runtime.lite/src/org/eclipse/gmf/runtime/lite/parts/DiagramDisplayer.java b/plugins/org.eclipse.gmf.runtime.lite/src/org/eclipse/gmf/runtime/lite/parts/DiagramDisplayer.java index 7818356f1..861cf67ba 100644 --- a/plugins/org.eclipse.gmf.runtime.lite/src/org/eclipse/gmf/runtime/lite/parts/DiagramDisplayer.java +++ b/plugins/org.eclipse.gmf.runtime.lite/src/org/eclipse/gmf/runtime/lite/parts/DiagramDisplayer.java @@ -410,7 +410,7 @@ public class DiagramDisplayer implements IDiagramOutlineHost { progressMonitor.beginTask("Saving", getEditingDomain().getResourceSet().getResources().size()); try { for(Resource next : getEditingDomain().getResourceSet().getResources()) { - if (next.isLoaded() && (next.isModified() || !next.isTrackingModification())) { + if (next.isLoaded() && !getEditingDomain().isReadOnly(next)) { next.save(options); } progressMonitor.worked(1); |