Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlain Magloire2004-09-05 23:25:28 +0000
committerAlain Magloire2004-09-05 23:25:28 +0000
commit73e222cdd87c9e8516a1415e7183c3a15eb1976e (patch)
tree37cc40d643a8115cd058d482be816496dca6faa6 /build/org.eclipse.cdt.make.ui/plugin.xml
parent5916669818ace654678b4910cb16fb420c73c599 (diff)
downloadorg.eclipse.cdt-73e222cdd87c9e8516a1415e7183c3a15eb1976e.tar.gz
org.eclipse.cdt-73e222cdd87c9e8516a1415e7183c3a15eb1976e.tar.xz
org.eclipse.cdt-73e222cdd87c9e8516a1415e7183c3a15eb1976e.zip
Provide more setting for the makefile editor.
Diffstat (limited to 'build/org.eclipse.cdt.make.ui/plugin.xml')
-rw-r--r--build/org.eclipse.cdt.make.ui/plugin.xml8
1 files changed, 7 insertions, 1 deletions
diff --git a/build/org.eclipse.cdt.make.ui/plugin.xml b/build/org.eclipse.cdt.make.ui/plugin.xml
index 16cc427709d..4eeb54489fb 100644
--- a/build/org.eclipse.cdt.make.ui/plugin.xml
+++ b/build/org.eclipse.cdt.make.ui/plugin.xml
@@ -284,11 +284,17 @@
id="org.eclipse.cdt.make.ui.preferences.MakeTargetsPreferencePage">
</page>
<page
- name="%PreferenceMakeFileEditor.name"
+ name="%PreferenceMakefileEditor.name"
category="org.eclipse.cdt.ui.preferences.CPluginPreferencePage"
class="org.eclipse.cdt.make.internal.ui.preferences.MakefileEditorPreferencePage"
id="org.eclipse.cdt.make.ui.preferences.MakeFileEditorPreferencePage">
</page>
+ <page
+ 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">
+ </page>
</extension>
<extension
point="org.eclipse.ui.propertyPages">

Back to the top