Community
Participate
Working Groups
The wrench settings button is currently a div and should be changed into a button to be consistent with the rest of the buttons.
It's a spanner!
(In reply to comment #1) > It's a spanner! Maybe in the en-UK localization of Orion
https://github.com/gabrielluong/orion.client Branch: Bug408136 commit a0088c092b09c81fb10ae4b75354496973961b1a The wrench button was also aligned with the rest of the buttons. I assert that I authored 100% of the content of this contribution and have the rights to donate the content to Eclipse under the EPL
looks good.
Pushed here: http://git.eclipse.org/c/orion/org.eclipse.orion.client.git/commit/?id=4890045328ef6da2c43866b971e9deabea44a49f