Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid Inglis2004-03-16 20:35:25 +0000
committerDavid Inglis2004-03-16 20:35:25 +0000
commit7d48a4fcc6e86f1dba208ace6229b798ac21053d (patch)
tree88319b70908b0394bd39246dafef86218a706be8 /build/org.eclipse.cdt.make.ui/plugin.xml
parent35ebf046cf2d11dc155a6bacba601ea92ea09431 (diff)
downloadorg.eclipse.cdt-7d48a4fcc6e86f1dba208ace6229b798ac21053d.tar.gz
org.eclipse.cdt-7d48a4fcc6e86f1dba208ace6229b798ac21053d.tar.xz
org.eclipse.cdt-7d48a4fcc6e86f1dba208ace6229b798ac21053d.zip
applied patch from vhirsl@ca.ibm.com implementing new auto scanner configuration detection mechanism
Diffstat (limited to 'build/org.eclipse.cdt.make.ui/plugin.xml')
-rw-r--r--build/org.eclipse.cdt.make.ui/plugin.xml24
1 files changed, 23 insertions, 1 deletions
diff --git a/build/org.eclipse.cdt.make.ui/plugin.xml b/build/org.eclipse.cdt.make.ui/plugin.xml
index b7394167c68..89ee47c5706 100644
--- a/build/org.eclipse.cdt.make.ui/plugin.xml
+++ b/build/org.eclipse.cdt.make.ui/plugin.xml
@@ -26,7 +26,6 @@
<import plugin="org.eclipse.core.runtime.compatibility"/>
</requires>
-
<extension
point="org.eclipse.ui.newWizards">
<wizard
@@ -393,5 +392,28 @@
</actionSet>
</perspectiveExtension>
</extension>
+ <extension
+ point="org.eclipse.ui.propertyPages">
+ <page
+ adaptable="true"
+ objectClass="org.eclipse.core.resources.IProject"
+ name="%PropertyScannerConfig.name"
+ class="org.eclipse.cdt.make.internal.ui.properties.ScannerConfigPropertyPage"
+ id="org.eclipse.cdt.make.ui.properties.ScannerConfigPropertyPage">
+ <filter
+ name="nature"
+ value="org.eclipse.cdt.make.core.makeNature">
+ </filter>
+ </page>
+ </extension>
+ <extension
+ point="org.eclipse.ui.preferencePages">
+ <page
+ name="%PreferenceScannerConfig.name"
+ category="org.eclipse.cdt.ui.preferences.CPluginPreferencePage"
+ class="org.eclipse.cdt.make.internal.ui.preferences.ScannerConfigPreferencePage"
+ id="org.eclipse.cdt.make.ui.preferences.ScannerConfigPreferencePage">
+ </page>
+ </extension>
</plugin>

Back to the top