diff options
Diffstat (limited to 'org.eclipse.ui.externaltools/plugin.xml')
-rw-r--r-- | org.eclipse.ui.externaltools/plugin.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.ui.externaltools/plugin.xml b/org.eclipse.ui.externaltools/plugin.xml index 6fcc635e3..fdd831635 100644 --- a/org.eclipse.ui.externaltools/plugin.xml +++ b/org.eclipse.ui.externaltools/plugin.xml @@ -156,7 +156,7 @@ point="org.eclipse.debug.ui.launchGroups"> <launchGroup label="%ExternalToolsLaunchGroup.label" - bannerImage="$nl$/icons/full/wizban/ext_tools_wiz.gif" + bannerImage="$nl$/icons/full/wizban/ext_tools_wiz.png" category="org.eclipse.ui.externaltools" image="$nl$/icons/full/obj16/external_tools.gif" mode="run" @@ -165,7 +165,7 @@ </launchGroup> <launchGroup label="%ExternalToolsLaunchGroup.label" - bannerImage="$nl$/icons/full/wizban/ext_tools_wiz.gif" + bannerImage="$nl$/icons/full/wizban/ext_tools_wiz.png" category="org.eclipse.ui.externaltools.builder" image="$nl$/icons/full/obj16/external_tools.gif" public="false" |