-
Notifications
You must be signed in to change notification settings - Fork 776
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Added icons for set square and compass #4422
Conversation
Thanks @dreng for putting your efforts into this. The icons look pretty good and fit very nicely with the existing icon themes. |
@dreng The compass is merged now. Can you rebase on master and solve the merge conflict? Let me know if you need help. |
@rolandlo Some help is indeed needed here. If I try to sync the branch in my fork, it says that my commit will be discarded. No chance to priorize one of the conflicting files. I can just use Github's editor in order to resolve the confict text-wise, but this is not what I want. I want to preserve my file. The Github docs didn't help either but left me more insecure than before. |
One way to achieve the goal (which doesn't require solving conflicts):
to see if everything is alright
to push the changes to Github. |
One way to achieve the goal (which doesn't require solving conflicts):
Here I am assuming that
to see if everything is alright
to push the changes to Github. |
Looks like there was some problem. There is a shorter way though, that doesn't require backing files up and adding them manually:
|
Not exactly the way I wanted to go but copying the needed files and re-adding them solved the problem at least. Git reset --hard somehow didn't work for me. I updated my fork which deleted the file as it stated before. I then rebased the branch and added the previously copied files. Finally I pushed the branch back to my fork. |
Great you figured out a way! There is one issue left: Please delete the two old setsquare and compass icons from the folder |
Overlooked the old icons. Thanks for watching out. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM. I like the new icons. Definitely an improvement over the old ones.
Merging in 24 hours if no objections are raised.
Thanks again for the icons @dreng ! Just merged them. |
You're welcome, @rolandlo ! |
During my tests of the "set square" feature, which is in an early developing stage, I noticed that the icons are barely visible. While discussing some improvements here with Roland I decided to create some new icons.