Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMikhail Khodjaiants2003-10-23 14:03:39 -0400
committerMikhail Khodjaiants2003-10-23 14:03:39 -0400
commita73f8d56fd22f9b8cd9f7e1850d0c09117f4d839 (patch)
tree31da7ccca870b73c6a7f6c552c5b3bed751eca45 /debug/org.eclipse.cdt.debug.ui/plugin.xml
parent28ca11c7da3a17356c239e01a4a05c19103f486d (diff)
downloadorg.eclipse.cdt-a73f8d56fd22f9b8cd9f7e1850d0c09117f4d839.tar.gz
org.eclipse.cdt-a73f8d56fd22f9b8cd9f7e1850d0c09117f4d839.tar.xz
org.eclipse.cdt-a73f8d56fd22f9b8cd9f7e1850d0c09117f4d839.zip
Added a preference page for the source lookup.
It includes two new preferences: 'Source Locations' and 'Search For Duplicate Source Files'.
Diffstat (limited to 'debug/org.eclipse.cdt.debug.ui/plugin.xml')
-rw-r--r--debug/org.eclipse.cdt.debug.ui/plugin.xml6
1 files changed, 6 insertions, 0 deletions
diff --git a/debug/org.eclipse.cdt.debug.ui/plugin.xml b/debug/org.eclipse.cdt.debug.ui/plugin.xml
index 9d243f5ce1..737b5b70f3 100644
--- a/debug/org.eclipse.cdt.debug.ui/plugin.xml
+++ b/debug/org.eclipse.cdt.debug.ui/plugin.xml
@@ -130,6 +130,12 @@
class="org.eclipse.cdt.debug.internal.ui.preferences.CDebugPreferencePage"
id="org.eclipse.cdt.debug.ui.CDebugPreferencePage">
</page>
+ <page
+ name="%SourcePreferencePage.name"
+ category="org.eclipse.cdt.debug.ui.CDebugPreferencePage"
+ class="org.eclipse.cdt.debug.internal.ui.preferences.SourcePreferencePage"
+ id="org.eclipse.cdt.debug.ui.SourcePreferencePage">
+ </page>
</extension>
<extension
point="org.eclipse.ui.actionSets">

Back to the top