Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlain Magloire2004-08-29 23:53:42 +0000
committerAlain Magloire2004-08-29 23:53:42 +0000
commit24ce467c842407dbbaeab9fed1946e61d0da4272 (patch)
tree44987b10e61290804834f14e50d9f77480ea2134 /build/org.eclipse.cdt.make.ui/plugin.xml
parent662668a4ba093b9294b453ab4b065ec1f612dcfe (diff)
downloadorg.eclipse.cdt-24ce467c842407dbbaeab9fed1946e61d0da4272.tar.gz
org.eclipse.cdt-24ce467c842407dbbaeab9fed1946e61d0da4272.tar.xz
org.eclipse.cdt-24ce467c842407dbbaeab9fed1946e61d0da4272.zip
Add Preference Page to Makefile Editor to allow
the change of settings.
Diffstat (limited to 'build/org.eclipse.cdt.make.ui/plugin.xml')
-rw-r--r--build/org.eclipse.cdt.make.ui/plugin.xml6
1 files changed, 6 insertions, 0 deletions
diff --git a/build/org.eclipse.cdt.make.ui/plugin.xml b/build/org.eclipse.cdt.make.ui/plugin.xml
index c29285f8cb5..16cc427709d 100644
--- a/build/org.eclipse.cdt.make.ui/plugin.xml
+++ b/build/org.eclipse.cdt.make.ui/plugin.xml
@@ -283,6 +283,12 @@
class="org.eclipse.cdt.make.internal.ui.preferences.MakeTargetsPreferencePage"
id="org.eclipse.cdt.make.ui.preferences.MakeTargetsPreferencePage">
</page>
+ <page
+ 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>
</extension>
<extension
point="org.eclipse.ui.propertyPages">

Back to the top