Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid Inglis2004-09-08 15:05:09 +0000
committerDavid Inglis2004-09-08 15:05:09 +0000
commit75c897cf266abdd9c354a82c21c206b59f5f492d (patch)
tree56200e580a6151ae4b84e80b92022694074c3264 /build/org.eclipse.cdt.make.ui/plugin.xml
parent0ad9d83903c7e924ff82320e8d1bb29722acb2cd (diff)
downloadorg.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.xml16
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

Back to the top