diff options
author | Darin Wright | 2006-04-12 15:05:52 +0000 |
---|---|---|
committer | Darin Wright | 2006-04-12 15:05:52 +0000 |
commit | 2c4dba4d7eeb9e3e0675df5d61048232b1465d97 (patch) | |
tree | 77b93574f00442aff29a7986ec252745e9f8e386 /org.eclipse.ui.externaltools | |
parent | 1c0968ef919e0d838e28f2d15743a8ffdd07c33e (diff) | |
download | eclipse.platform.debug-2c4dba4d7eeb9e3e0675df5d61048232b1465d97.tar.gz eclipse.platform.debug-2c4dba4d7eeb9e3e0675df5d61048232b1465d97.tar.xz eclipse.platform.debug-2c4dba4d7eeb9e3e0675df5d61048232b1465d97.zip |
Bug 132339 - Update the External Tools launcher wizard to use a PNG image
Diffstat (limited to 'org.eclipse.ui.externaltools')
-rw-r--r-- | org.eclipse.ui.externaltools/icons/full/wizban/ext_tools_wiz.gif | bin | 3160 -> 0 bytes | |||
-rw-r--r-- | org.eclipse.ui.externaltools/icons/full/wizban/ext_tools_wiz.png | bin | 0 -> 4855 bytes | |||
-rw-r--r-- | org.eclipse.ui.externaltools/plugin.xml | 4 |
3 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.ui.externaltools/icons/full/wizban/ext_tools_wiz.gif b/org.eclipse.ui.externaltools/icons/full/wizban/ext_tools_wiz.gif Binary files differdeleted file mode 100644 index 38a9ab97e..000000000 --- a/org.eclipse.ui.externaltools/icons/full/wizban/ext_tools_wiz.gif +++ /dev/null diff --git a/org.eclipse.ui.externaltools/icons/full/wizban/ext_tools_wiz.png b/org.eclipse.ui.externaltools/icons/full/wizban/ext_tools_wiz.png Binary files differnew file mode 100644 index 000000000..66335ad33 --- /dev/null +++ b/org.eclipse.ui.externaltools/icons/full/wizban/ext_tools_wiz.png 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" |