diff options
author | Michael Rennie | 2006-10-26 20:12:42 +0000 |
---|---|---|
committer | Michael Rennie | 2006-10-26 20:12:42 +0000 |
commit | f0da4674cfba4f8324ce45917041751c3c46a731 (patch) | |
tree | 8c2fd0d2c3a2679ab35b8d26bc08ce2bc3ee7075 /org.eclipse.debug.ui/plugin.xml | |
parent | bf3aff52c24d77c979f858a1aa6ec7dc008591bc (diff) | |
download | eclipse.platform.debug-f0da4674cfba4f8324ce45917041751c3c46a731.tar.gz eclipse.platform.debug-f0da4674cfba4f8324ce45917041751c3c46a731.tar.xz eclipse.platform.debug-f0da4674cfba4f8324ce45917041751c3c46a731.zip |
Bug 157059
[launching] extensible launch options
Diffstat (limited to 'org.eclipse.debug.ui/plugin.xml')
-rw-r--r-- | org.eclipse.debug.ui/plugin.xml | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/org.eclipse.debug.ui/plugin.xml b/org.eclipse.debug.ui/plugin.xml index 539ba459b..c9e33ccce 100644 --- a/org.eclipse.debug.ui/plugin.xml +++ b/org.eclipse.debug.ui/plugin.xml @@ -145,6 +145,15 @@ name="%LaunchConfigurationsPage.name"> <keywordReference id="org.eclipse.debug.ui.launchconfigurations"/> </page> + <page + category="org.eclipse.debug.ui.LaunchingPreferencePage" + class="org.eclipse.debug.internal.ui.preferences.LaunchDelegatesPreferencePage" + id="org.eclipse.debug.ui.LaunchDelegatesPreferencePage" + name="%LaunchDelegatesPreferencePage.name"> + <keywordReference + id="org.eclipse.debug.ui.launchDelegatesKeywords"> + </keywordReference> + </page> </extension> <extension point="org.eclipse.ui.actionSets"> @@ -1321,6 +1330,12 @@ code="226" id="org.eclipse.debug.ui.statusHandler.launchDelegateNotAvailable" plugin="org.eclipse.debug.core"> + </statusHandler> + <statusHandler + class="org.eclipse.debug.internal.ui.launchConfigurations.DuplicateLaunchDelegatesStatusHandler" + code="227" + id="org.eclipse.debug.ui.statusHandler.duplicateLaunchDelegatesDetected" + plugin="org.eclipse.debug.core"> </statusHandler> </extension> <extension @@ -2293,6 +2308,10 @@ M4 = Platform-specific fourth key <keyword id="org.eclipse.debug.ui.launchconfigurations" label="%preferenceKeywords.launchConfigurations"/> + <keyword + id="org.eclipse.debug.ui.launchDelegatesKeywords" + label="launch delegate duplicate run debug profile mode configuration"> + </keyword> </extension> <extension point="org.eclipse.ui.importWizards"> |