diff options
author | Thomas Wolf | 2020-11-10 15:10:14 +0000 |
---|---|---|
committer | Gerrit Code Review @ Eclipse.org | 2020-11-10 15:10:14 +0000 |
commit | d54a40470156a3efe529cb0c4dca4caf7e00a07a (patch) | |
tree | 8f43f93939bae2f5c15fef3b4a5c1cfbf5b28493 /org.eclipse.mylyn.github.ui/src/org/eclipse/mylyn/internal | |
parent | b559ec9bd594898e8a4b10e3a32f71d93b331af0 (diff) | |
parent | c15aa7ad87de7e1b8ce4dded570fe6961bebc64c (diff) | |
download | egit-github-d54a40470156a3efe529cb0c4dca4caf7e00a07a.tar.gz egit-github-d54a40470156a3efe529cb0c4dca4caf7e00a07a.tar.xz egit-github-d54a40470156a3efe529cb0c4dca4caf7e00a07a.zip |
Merge "Use high resolution Mylyn icon"
Diffstat (limited to 'org.eclipse.mylyn.github.ui/src/org/eclipse/mylyn/internal')
-rw-r--r-- | org.eclipse.mylyn.github.ui/src/org/eclipse/mylyn/internal/github/ui/GitHubImages.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.mylyn.github.ui/src/org/eclipse/mylyn/internal/github/ui/GitHubImages.java b/org.eclipse.mylyn.github.ui/src/org/eclipse/mylyn/internal/github/ui/GitHubImages.java index 42dc492f..917a343e 100644 --- a/org.eclipse.mylyn.github.ui/src/org/eclipse/mylyn/internal/github/ui/GitHubImages.java +++ b/org.eclipse.mylyn.github.ui/src/org/eclipse/mylyn/internal/github/ui/GitHubImages.java @@ -72,10 +72,10 @@ public class GitHubImages { public static final ImageDescriptor DESC_GITHUB_ORG = create(PATH_OBJ, "org.png"); //$NON-NLS-1$ /** {@link ImageDescriptor} for a person icon. */ - public static final ImageDescriptor DESC_PERSON = create(PATH_TOOL, "person.gif"); //$NON-NLS-1$ + public static final ImageDescriptor DESC_PERSON = create(PATH_TOOL, "person.png"); //$NON-NLS-1$ /** {@link ImageDescriptor} for a person icon denoting the current user. */ - public static final ImageDescriptor DESC_PERSON_ME = create(PATH_TOOL, "person-me.gif"); //$NON-NLS-1$ + public static final ImageDescriptor DESC_PERSON_ME = create(PATH_TOOL, "person-me.png"); //$NON-NLS-1$ private static ImageDescriptor create(String prefix, String name) { return ImageDescriptor.createFromURL(makeImageURL(prefix, name)); |