diff options
author | David Inglis | 2004-09-08 15:05:09 +0000 |
---|---|---|
committer | David Inglis | 2004-09-08 15:05:09 +0000 |
commit | 75c897cf266abdd9c354a82c21c206b59f5f492d (patch) | |
tree | 56200e580a6151ae4b84e80b92022694074c3264 /build/org.eclipse.cdt.make.ui/plugin.xml | |
parent | 0ad9d83903c7e924ff82320e8d1bb29722acb2cd (diff) | |
download | org.eclipse.cdt-75c897cf266abdd9c354a82c21c206b59f5f492d.tar.gz org.eclipse.cdt-75c897cf266abdd9c354a82c21c206b59f5f492d.tar.xz org.eclipse.cdt-75c897cf266abdd9c354a82c21c206b59f5f492d.zip |
group make preferences under one "Make" entry.
Diffstat (limited to 'build/org.eclipse.cdt.make.ui/plugin.xml')
-rw-r--r-- | build/org.eclipse.cdt.make.ui/plugin.xml | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/build/org.eclipse.cdt.make.ui/plugin.xml b/build/org.eclipse.cdt.make.ui/plugin.xml index 0b46097ce07..4270089aba2 100644 --- a/build/org.eclipse.cdt.make.ui/plugin.xml +++ b/build/org.eclipse.cdt.make.ui/plugin.xml @@ -291,20 +291,20 @@ <extension point="org.eclipse.ui.preferencePages"> <page - name="%PreferenceMakeProject.name" + name="%PreferenceMake.name" category="org.eclipse.cdt.ui.preferences.CPluginPreferencePage" - class="org.eclipse.cdt.make.internal.ui.preferences.NewMakeProjectPreferencePage" + class="org.eclipse.cdt.make.internal.ui.preferences.MakePreferencePage" id="org.eclipse.cdt.make.ui.preferences.MakePreferencePage"> </page> <page - name="%PreferenceMakeTargets.name" - category="org.eclipse.cdt.ui.preferences.CPluginPreferencePage" - class="org.eclipse.cdt.make.internal.ui.preferences.MakeTargetsPreferencePage" - id="org.eclipse.cdt.make.ui.preferences.MakeTargetsPreferencePage"> + name="%PreferenceMakeProject.name" + category="org.eclipse.cdt.make.ui.preferences.MakePreferencePage" + class="org.eclipse.cdt.make.internal.ui.preferences.NewMakeProjectPreferencePage" + id="org.eclipse.cdt.make.ui.preferences.MakeProjectPreferencePage"> </page> <page name="%PreferenceMakefileEditor.name" - category="org.eclipse.cdt.ui.preferences.CPluginPreferencePage" + category="org.eclipse.cdt.make.ui.preferences.MakePreferencePage" class="org.eclipse.cdt.make.internal.ui.preferences.MakefileEditorPreferencePage" id="org.eclipse.cdt.make.ui.preferences.MakeFileEditorPreferencePage"> </page> @@ -312,7 +312,7 @@ name="%PreferenceMakefileSettings.name" category="org.eclipse.cdt.make.ui.preferences.MakeFileEditorPreferencePage" class="org.eclipse.cdt.make.internal.ui.preferences.MakefileSettingsPreferencePage" - id="org.eclipse.cdt.make.ui.preferences.MakePreferencePage"> + id="org.eclipse.cdt.make.ui.preferences.MakefileSettingPreferencePage"> </page> </extension> <extension |