diff options
author | Darin Wright | 2004-08-20 15:42:02 +0000 |
---|---|---|
committer | Darin Wright | 2004-08-20 15:42:02 +0000 |
commit | 83cfce7b5c3def2e06276c0a81b0d3992f07ab08 (patch) | |
tree | 6824c7937e5e67ba18dfb8f4ebb8f6ec4cbadac4 /org.eclipse.debug.ui/plugin.xml | |
parent | 26256483bcc0bc6557217d3a53d4fc981b40fe41 (diff) | |
download | eclipse.platform.debug-83cfce7b5c3def2e06276c0a81b0d3992f07ab08.tar.gz eclipse.platform.debug-83cfce7b5c3def2e06276c0a81b0d3992f07ab08.tar.xz eclipse.platform.debug-83cfce7b5c3def2e06276c0a81b0d3992f07ab08.zip |
Bug 22398 - Launch config type & instance scalability
Diffstat (limited to 'org.eclipse.debug.ui/plugin.xml')
-rw-r--r-- | org.eclipse.debug.ui/plugin.xml | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/org.eclipse.debug.ui/plugin.xml b/org.eclipse.debug.ui/plugin.xml index f1814fd1f..fcc29b251 100644 --- a/org.eclipse.debug.ui/plugin.xml +++ b/org.eclipse.debug.ui/plugin.xml @@ -143,6 +143,12 @@ class="org.eclipse.debug.internal.ui.preferences.StringVariablePreferencePage" id="org.eclipse.debug.ui.StringVariablePreferencePage"> </page> + <page + name="%WorkInProgressPreferencePage.name" + category="org.eclipse.debug.ui.DebugPreferencePage" + class="org.eclipse.debug.internal.ui.preferences.DebugWorkInProgressPreferencePage" + id="org.eclipse.debug.ui.WorkInProgressPreferencePage"> + </page> </extension> <extension point="org.eclipse.ui.actionSets"> @@ -1218,21 +1224,24 @@ bannerImage="icons/full/wizban/debug_wiz.gif" image="icons/full/etool16/debug_exc.gif" mode="debug" - id="org.eclipse.debug.ui.launchGroup.debug"> + id="org.eclipse.debug.ui.launchGroup.debug" + title="%DebugLaunchGroup.title"> </launchGroup> <launchGroup label="%RunLaunchGroup.label" bannerImage="icons/full/wizban/run_wiz.gif" image="icons/full/etool16/run_exc.gif" mode="run" - id="org.eclipse.debug.ui.launchGroup.run"> + id="org.eclipse.debug.ui.launchGroup.run" + title="%RunLaunchGroup.title"> </launchGroup> <launchGroup label="%ProfileLaunchGroup.label" bannerImage="icons/full/wizban/profile_wiz.gif" image="icons/full/etool16/profile_exc.gif" mode="profile" - id="org.eclipse.debug.ui.launchGroup.profile"> + id="org.eclipse.debug.ui.launchGroup.profile" + title="%ProfileLaunchGroup.title"> </launchGroup> </extension> <extension |