diff options
author | Thomas Wolf | 2017-06-16 12:06:57 +0000 |
---|---|---|
committer | Thomas Wolf | 2017-06-16 12:06:57 +0000 |
commit | d9553acc6cf48521fe9726234e4b32d9633bffef (patch) | |
tree | 1a44ada37b19547df7a5bfbfe7b7bbf54a41df5c /org.eclipse.egit.ui/plugin.xml | |
parent | 3d93ae108ce1c16507924708788e87a241467d80 (diff) | |
download | egit-d9553acc6cf48521fe9726234e4b32d9633bffef.tar.gz egit-d9553acc6cf48521fe9726234e4b32d9633bffef.tar.xz egit-d9553acc6cf48521fe9726234e4b32d9633bffef.zip |
Fix the icon for the PullWithOptions command
It was using the "pull" icon instead of "pull_with_options".
Change-Id: Ia0ce56f4f04aec0b6ca4dc35114ed555d6a234b8
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
Diffstat (limited to 'org.eclipse.egit.ui/plugin.xml')
-rw-r--r-- | org.eclipse.egit.ui/plugin.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.egit.ui/plugin.xml b/org.eclipse.egit.ui/plugin.xml index 5ad82d5227..42d05ac904 100644 --- a/org.eclipse.egit.ui/plugin.xml +++ b/org.eclipse.egit.ui/plugin.xml @@ -5441,7 +5441,7 @@ </image> <image commandId="org.eclipse.egit.ui.team.PullWithOptions" - icon="icons/obj16/pull.png"> + icon="icons/obj16/pull_with_options.png"> </image> <image commandId="org.eclipse.egit.ui.team.Reset" |