Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorWim Jongman2018-05-28 17:45:43 +0000
committerWim Jongman2018-05-28 19:58:06 +0000
commit86a4693beb249cb5a792a826cf64fa03f1e6c787 (patch)
treeaa5daf434165f329eef8e205726ea0e525e217e9 /org.eclipse.tips.ui/src/org
parentb324f3ab52785188219dd22fd5a5de1f67a144f3 (diff)
downloadeclipse.platform.ua-86a4693beb249cb5a792a826cf64fa03f1e6c787.tar.gz
eclipse.platform.ua-86a4693beb249cb5a792a826cf64fa03f1e6c787.tar.xz
eclipse.platform.ua-86a4693beb249cb5a792a826cf64fa03f1e6c787.zip
Bug 535218: [Tips] Use better run icon
* Removed gifs * Removed unused images * Added png icons in two sizes Change-Id: I3fbb4a889e5ddf64bac821d0f4ae0f3b97124d22 Signed-off-by: Wim Jongman <wim.jongman@remainsoftware.com>
Diffstat (limited to 'org.eclipse.tips.ui/src/org')
-rw-r--r--org.eclipse.tips.ui/src/org/eclipse/tips/ui/internal/TipComposite.java4
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.tips.ui/src/org/eclipse/tips/ui/internal/TipComposite.java b/org.eclipse.tips.ui/src/org/eclipse/tips/ui/internal/TipComposite.java
index fcf484c88..c98bd4d6d 100644
--- a/org.eclipse.tips.ui/src/org/eclipse/tips/ui/internal/TipComposite.java
+++ b/org.eclipse.tips.ui/src/org/eclipse/tips/ui/internal/TipComposite.java
@@ -196,7 +196,7 @@ public class TipComposite extends Composite implements ProviderSelectionListener
});
fMultiActionMenuButton = new Button(fMultiActionComposite, SWT.NONE);
- fMultiActionMenuButton.setImage(ResourceManager.getPluginImage("org.eclipse.tips.ui", "icons/popup_menu.gif")); //$NON-NLS-1$ //$NON-NLS-2$
+ fMultiActionMenuButton.setImage(ResourceManager.getPluginImage("org.eclipse.tips.ui", "icons/popup_menu.png")); //$NON-NLS-1$ //$NON-NLS-2$
fMultiActionMenuButton.addSelectionListener(new SelectionAdapter() {
@Override
public void widgetSelected(SelectionEvent e) {
@@ -267,7 +267,7 @@ public class TipComposite extends Composite implements ProviderSelectionListener
case 2:
return ResourceManager.getPluginImage("org.eclipse.tips.ui", "icons/stop.png"); //$NON-NLS-1$ //$NON-NLS-2$
default:
- return ResourceManager.getPluginImage("org.eclipse.tips.ui", "icons/run.gif"); //$NON-NLS-1$ //$NON-NLS-2$
+ return ResourceManager.getPluginImage("org.eclipse.tips.ui", "icons/run_exc.png"); //$NON-NLS-1$ //$NON-NLS-2$
}
}

Back to the top