diff options
author | Mikhail Khodjaiants | 2004-11-08 23:41:30 +0000 |
---|---|---|
committer | Mikhail Khodjaiants | 2004-11-08 23:41:30 +0000 |
commit | f4f6cc774ee0d1e69f8d09d75600ff25625c5633 (patch) | |
tree | cf4bd81bc916cd9d5975146021a11ad03b1f48cf /debug/org.eclipse.cdt.debug.mi.ui/plugin.xml | |
parent | 92f36abdcefb8ab985a50cdb279712ef8f3c3b0f (diff) | |
download | org.eclipse.cdt-f4f6cc774ee0d1e69f8d09d75600ff25625c5633.tar.gz org.eclipse.cdt-f4f6cc774ee0d1e69f8d09d75600ff25625c5633.tar.xz org.eclipse.cdt-f4f6cc774ee0d1e69f8d09d75600ff25625c5633.zip |
Added the "Automatically refresh registers" and "Automatically refresh shared libraries" preferences and properties.
Diffstat (limited to 'debug/org.eclipse.cdt.debug.mi.ui/plugin.xml')
-rw-r--r-- | debug/org.eclipse.cdt.debug.mi.ui/plugin.xml | 20 |
1 files changed, 20 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 ff081a336ce..3682570791f 100644 --- a/debug/org.eclipse.cdt.debug.mi.ui/plugin.xml +++ b/debug/org.eclipse.cdt.debug.mi.ui/plugin.xml @@ -52,5 +52,25 @@ id="org.eclipse.cdt.debug.mi.ui.MIPreferencePage"> </page> </extension> + <extension + point="org.eclipse.ui.propertyPages"> + <page + objectClass="org.eclipse.cdt.debug.core.model.ICDebugTarget" + class="org.eclipse.cdt.debug.mi.internal.ui.propertypages.OptionsPropertyPage" + name="%TargetOptionsPage.label" + id="org.eclipse.cdt.debug.mi.ui.propertypages.target.options"> + <filter + value="isGDBTarget" + name="GDBTargetActionFilter"/> + </page> + </extension> + <extension + point="org.eclipse.core.runtime.adapters"> + <factory + class="org.eclipse.cdt.debug.mi.internal.ui.ActionFilterAdapterFactory" + adaptableType="org.eclipse.cdt.debug.core.model.ICDebugTarget"> + <adapter type="org.eclipse.ui.IActionFilter"/> + </factory> + </extension> </plugin> |