diff options
author | Darin Wright | 2002-11-07 16:42:54 +0000 |
---|---|---|
committer | Darin Wright | 2002-11-07 16:42:54 +0000 |
commit | e8d39e688609ffde966cd96545030882338ce8d1 (patch) | |
tree | fed950f9ee32012ef15db33d2720fd72d1d74d6d /org.eclipse.ui.externaltools/plugin.xml | |
parent | 3ae9a123aa53690ac103e00376bfb912cdbcd2ae (diff) | |
download | eclipse.platform.debug-e8d39e688609ffde966cd96545030882338ce8d1.tar.gz eclipse.platform.debug-e8d39e688609ffde966cd96545030882338ce8d1.tar.xz eclipse.platform.debug-e8d39e688609ffde966cd96545030882338ce8d1.zip |
launch groups
Diffstat (limited to 'org.eclipse.ui.externaltools/plugin.xml')
-rw-r--r-- | org.eclipse.ui.externaltools/plugin.xml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/org.eclipse.ui.externaltools/plugin.xml b/org.eclipse.ui.externaltools/plugin.xml index 423ff5ed4..88ae829c1 100644 --- a/org.eclipse.ui.externaltools/plugin.xml +++ b/org.eclipse.ui.externaltools/plugin.xml @@ -388,6 +388,17 @@ class="org.eclipse.ui.externaltools.internal.ant.launchConfigurations.AntConsoleContentProvider"> </consoleContentProvider> </extension> + + <extension point = "org.eclipse.debug.ui.launchGroups"> + <launchGroup + id = "org.eclipse.ui.externaltools.launchGroup" + mode = "run" + category = "org.eclipse.ui.externaltools" + label = "%ExternalToolsLaunchGroup.label" + image = "icons/full/obj16/external_tools.gif" + bannerImage = "icons/full/wizban/ext_tools_wiz.gif"> + </launchGroup> + </extension> <!-- Old Stuff --> <!-- Old Stuff --> |