diff options
| author | Mikhail Khodjaiants | 2002-10-03 22:51:52 +0000 |
|---|---|---|
| committer | Mikhail Khodjaiants | 2002-10-03 22:51:52 +0000 |
| commit | ce345efa7865b64f9e756b460aef6cab4f38b21d (patch) | |
| tree | f85964f09c7367bdd4d7e1cd9e60230eb45b9246 /debug/org.eclipse.cdt.debug.ui/plugin.xml | |
| parent | fa410d22c0d441c62e440dec8f342ff3f3140e31 (diff) | |
| download | org.eclipse.cdt-ce345efa7865b64f9e756b460aef6cab4f38b21d.tar.gz org.eclipse.cdt-ce345efa7865b64f9e756b460aef6cab4f38b21d.tar.xz org.eclipse.cdt-ce345efa7865b64f9e756b460aef6cab4f38b21d.zip | |
Implementation of the debugger's preference pages.
Diffstat (limited to 'debug/org.eclipse.cdt.debug.ui/plugin.xml')
| -rw-r--r-- | debug/org.eclipse.cdt.debug.ui/plugin.xml | 6 |
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 0a482ef6c39..77671e26a45 100644 --- a/debug/org.eclipse.cdt.debug.ui/plugin.xml +++ b/debug/org.eclipse.cdt.debug.ui/plugin.xml @@ -81,6 +81,12 @@ class="org.eclipse.cdt.debug.internal.ui.preferences.RegistersViewPreferencePage" id="org.eclipse.cdt.debug.ui.RegistersViewPreferencePage"> </page> + <page + name="%CDebugPreferencePage.name" + category="org.eclipse.cdt.ui.preferences.CPluginPreferencePage" + class="org.eclipse.cdt.debug.internal.ui.preferences.CDebugPreferencePage" + id="org.eclipse.cdt.debug.ui.CDebugPreferencePage"> + </page> </extension> <extension point="org.eclipse.ui.actionSets"> |