<div class="markdown">
<p dir="auto">On 12 Jan 2016, at 7:19, Mickael Istria wrote:</p>

<blockquote>
<p dir="auto">Hi all,</p>

<p dir="auto">I'm working on <a href="https://bugs.eclipse.org/bugs/show_bug.cgi?id=485124">https://bugs.eclipse.org/bugs/show_bug.cgi?id=485124</a> / <a href="https://git.eclipse.org/r/#/c/63842">https://git.eclipse.org/r/#/c/63842</a> which is about "specifying" a pull operation in EGit. Currently I'm using same icon as the "default" pull, but having twice the same icon in action bars or menus isn't really something good for users.</p>
</blockquote>

<p dir="auto">Depends...here is how File &gt; New looks:</p>

<p dir="auto"><img src="cid:42D751BB-677F-4F06-A545-6DFFA9810573@redhat.com" alt="" title="Screenshot_12_01_16_10_02.png"></p>

<p dir="auto">Notice how the same icon is used 3 times.</p>

<blockquote>
<p dir="auto">So we need to figure out an icon for this operation, or reconsider the icon for the default pull operation.<br>
I gave it a few thoughts, but didn't manage to find something clean.</p>
</blockquote>

<p dir="auto">Another option is to not have icon for the "Pull..."</p>

<blockquote>
<p dir="auto">Can someone with experience/interest in icon design give it a look? Should I escalate it to Red Hat design team?</p>
</blockquote>

<p dir="auto">adding issues on DESIGN is the way for now, yes.</p>

<p dir="auto">/max</p>

<blockquote>
<p dir="auto">Cheers,<br>
-- <br>
Mickael Istria<br>
Eclipse developer at JBoss, by Red Hat <a href="http://www.jboss.org/tools">http://www.jboss.org/tools</a><br>
My blog <a href="http://mickaelistria.wordpress.com">http://mickaelistria.wordpress.com</a> - My Tweets <a href="http://twitter.com/mickaelistria">http://twitter.com/mickaelistria</a></p>

<hr>

<p dir="auto">jbosstools-dev mailing list<br>
<a href="mailto:jbosstools-dev@lists.jboss.org">jbosstools-dev@lists.jboss.org</a><br>
<a href="https://lists.jboss.org/mailman/listinfo/jbosstools-dev">https://lists.jboss.org/mailman/listinfo/jbosstools-dev</a></p>
</blockquote>

<p dir="auto">/max<br>
<a href="http://about.me/maxandersen">http://about.me/maxandersen</a></p>

</div>