Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMikhail Khodjaiants2002-10-04 18:09:05 +0000
committerMikhail Khodjaiants2002-10-04 18:09:05 +0000
commit1145258fd674cb3a79a77a70aecc0cdb25973d33 (patch)
tree57b3b817b8d4ed22fdfa07f04d60c90b7c55f948 /debug/org.eclipse.cdt.debug.mi.ui/plugin.xml
parent452737ae51c62454b35d62110a256284912ee24f (diff)
downloadorg.eclipse.cdt-1145258fd674cb3a79a77a70aecc0cdb25973d33.tar.gz
org.eclipse.cdt-1145258fd674cb3a79a77a70aecc0cdb25973d33.tar.xz
org.eclipse.cdt-1145258fd674cb3a79a77a70aecc0cdb25973d33.zip
Implementation of preference pages.
Diffstat (limited to 'debug/org.eclipse.cdt.debug.mi.ui/plugin.xml')
-rw-r--r--debug/org.eclipse.cdt.debug.mi.ui/plugin.xml9
1 files changed, 9 insertions, 0 deletions
diff --git a/debug/org.eclipse.cdt.debug.mi.ui/plugin.xml b/debug/org.eclipse.cdt.debug.mi.ui/plugin.xml
index 7e129f728cf..3ee502d8dc3 100644
--- a/debug/org.eclipse.cdt.debug.mi.ui/plugin.xml
+++ b/debug/org.eclipse.cdt.debug.mi.ui/plugin.xml
@@ -32,5 +32,14 @@
debuggerID="org.eclipse.cdt.debug.mi.core.CDebugger">
</debugPage>
</extension>
+ <extension
+ point="org.eclipse.ui.preferencePages">
+ <page
+ name="%MIPreferencePage.name"
+ category="org.eclipse.cdt.debug.ui.CDebugPreferencePage"
+ class="org.eclipse.cdt.debug.mi.internal.ui.preferences.MIPreferencePage"
+ id="org.eclipse.cdt.debug.mi.ui.MIPreferencePage">
+ </page>
+ </extension>
</plugin>

Back to the top