diff options
| author | jlescot | 2007-11-16 12:14:48 +0000 |
|---|---|---|
| committer | jlescot | 2007-11-16 12:14:48 +0000 |
| commit | 1078511c5e7c37516e2ecf2d5d420eed71569eed (patch) | |
| tree | 4a1b46652b14111ebaf4f2ecf96885a3904a2070 | |
| parent | 619f98c7e14af7451bcf22a90d3dae1427263fd9 (diff) | |
| download | org.eclipse.ecoretools-1078511c5e7c37516e2ecf2d5d420eed71569eed.tar.gz org.eclipse.ecoretools-1078511c5e7c37516e2ecf2d5d420eed71569eed.tar.xz org.eclipse.ecoretools-1078511c5e7c37516e2ecf2d5d420eed71569eed.zip | |
Fix the preference page name using the corresponding identifier
| -rw-r--r-- | plugins/org.eclipse.emf.ecoretools.diagram/plugin.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/org.eclipse.emf.ecoretools.diagram/plugin.xml b/plugins/org.eclipse.emf.ecoretools.diagram/plugin.xml index 8e60efa..98d39fe 100644 --- a/plugins/org.eclipse.emf.ecoretools.diagram/plugin.xml +++ b/plugins/org.eclipse.emf.ecoretools.diagram/plugin.xml @@ -210,7 +210,7 @@ <?gmfgen generated="true"?> <page id="org.eclipse.emf.ecore.ediagram.general" - name="%preference.page.title.org.eclipse.emf.ecore.ediagram.general" + name="%preference.page.title.org.eclipse.emf.ecoretools.diagram.general" class="org.eclipse.emf.ecoretools.diagram.preferences.DiagramGeneralPreferencePage"> </page> <page |