diff options
Diffstat (limited to 'plugins/org.eclipse.gmf.map.edit')
3 files changed, 9 insertions, 2 deletions
diff --git a/plugins/org.eclipse.gmf.map.edit/META-INF/MANIFEST.MF b/plugins/org.eclipse.gmf.map.edit/META-INF/MANIFEST.MF index 355c847fc..544933021 100644 --- a/plugins/org.eclipse.gmf.map.edit/META-INF/MANIFEST.MF +++ b/plugins/org.eclipse.gmf.map.edit/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: %pluginName Bundle-SymbolicName: org.eclipse.gmf.map.edit; singleton:=true -Bundle-Version: 2.1.0.qualifier +Bundle-Version: 2.2.0.qualifier Bundle-Activator: org.eclipse.gmf.mappings.provider.GMFMapEditPlugin$Implementation Bundle-Vendor: %providerName Bundle-Localization: plugin diff --git a/plugins/org.eclipse.gmf.map.edit/plugin.properties b/plugins/org.eclipse.gmf.map.edit/plugin.properties index f0c824731..433cdc0bc 100644 --- a/plugins/org.eclipse.gmf.map.edit/plugin.properties +++ b/plugins/org.eclipse.gmf.map.edit/plugin.properties @@ -232,3 +232,7 @@ _UI_LabelTextAccessMethod_REGEXP_literal = REGEXP _UI_LabelTextAccessMethod_PRINTF_literal = PRINTF _UI_FeatureLabelMapping_editorPattern_feature = Editor Pattern _UI_FeatureValueSpec_value_feature = Value +_UI_Language_literal_literal = literal +_UI_GMFMapEditorFilenameExtensions = gmfmap +
_WARN_FilenameExtensions = The file name must have one of the following extensions: {0} +
\ No newline at end of file diff --git a/plugins/org.eclipse.gmf.map.edit/src/org/eclipse/gmf/mappings/presentation/GMFMapEditor.java b/plugins/org.eclipse.gmf.map.edit/src/org/eclipse/gmf/mappings/presentation/GMFMapEditor.java index 344dd011a..afdc8bd48 100644 --- a/plugins/org.eclipse.gmf.map.edit/src/org/eclipse/gmf/mappings/presentation/GMFMapEditor.java +++ b/plugins/org.eclipse.gmf.map.edit/src/org/eclipse/gmf/mappings/presentation/GMFMapEditor.java @@ -1452,8 +1452,11 @@ public class GMFMapEditor for (Resource resource : editingDomain.getResourceSet().getResources()) { if ((first || !resource.getContents().isEmpty() || isPersisted(resource)) && !editingDomain.isReadOnly(resource)) { try { - savedResources.add(resource); + long timeStamp = resource.getTimeStamp(); resource.save(saveOptions); + if (resource.getTimeStamp() != timeStamp) { + savedResources.add(resource); + } } catch (Exception exception) { resourceToDiagnosticMap.put(resource, analyzeResourceProblems(resource, exception)); |