diff options
| author | Darin Wright | 2010-02-16 20:38:39 +0000 |
|---|---|---|
| committer | Darin Wright | 2010-02-16 20:38:39 +0000 |
| commit | 1e3162dbced04356c9abe83da4754aff1e00cc33 (patch) | |
| tree | a6b597bba0af6bab0ac52866dc3714ee9b5c3fb6 /org.eclipse.debug.ui/plugin.xml | |
| parent | 06d68d2c095a0627408a5b998cf9aefe69fbe116 (diff) | |
| download | eclipse.platform.debug-1e3162dbced04356c9abe83da4754aff1e00cc33.tar.gz eclipse.platform.debug-1e3162dbced04356c9abe83da4754aff1e00cc33.tar.xz eclipse.platform.debug-1e3162dbced04356c9abe83da4754aff1e00cc33.zip | |
Bug 290219 - Debug View should not handle the Delete key if another handler for Delete has been contributed for a selected element
Diffstat (limited to 'org.eclipse.debug.ui/plugin.xml')
| -rw-r--r-- | org.eclipse.debug.ui/plugin.xml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/org.eclipse.debug.ui/plugin.xml b/org.eclipse.debug.ui/plugin.xml index df6f0a92c..213f49597 100644 --- a/org.eclipse.debug.ui/plugin.xml +++ b/org.eclipse.debug.ui/plugin.xml @@ -2903,5 +2903,21 @@ M4 = Platform-specific fourth key </colorOverride> </theme> </extension> + <extension + point="org.eclipse.ui.handlers"> + <handler + class="org.eclipse.debug.internal.ui.views.launch.TerminateAndRemoveHandler" + commandId="org.eclipse.ui.edit.delete"> + <activeWhen> + <iterate + ifEmpty="false" + operator="and"> + <adapt + type="org.eclipse.debug.core.model.ITerminate"> + </adapt> + </iterate> + </activeWhen> + </handler> + </extension> </plugin> |