-
Notifications
You must be signed in to change notification settings - Fork 190
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
Restyle of the interface #114
Conversation
- Grouped buttons in 2 groups (left and right) - Removed the GIT version (It's quite useless have it always visible there) - Replaced the "Report bug" label with a tiny bug icon (more space for core-features) - Added "Report bug" even on not-inited repositories - Moved the "Bash" button from the file-tree panel to the git-panel (on the right side)
- Grouped buttons in 2 groups (left and right) - Removed the GIT version (It's quite useless have it always visible there) - Replaced the "Report bug" label with a tiny bug icon (more space for core-features) - Added "Report bug" even on not-inited repositories - Moved the "Bash" button from the file-tree panel to the git-panel (on the right side)
- Grouped buttons in 2 groups (left and right) - Removed the GIT version (It's quite useless have it always visible there) - Replaced the "Report bug" label with a tiny bug icon (more space for core-features) - Added "Report bug" even on not-inited repositories - Moved the "Bash" button from the file-tree panel to the git-panel (on the right side)
Schweet. That looks much better! |
Maybe the bug icon can use the same color as the button labels. 2c. |
Restyle of the interface by FezVrasta
Merged... |
@larz0 it's actually not a |
I've changed the color of the bug icon to #2c2c2c as requested. |
You can't really push to already merged pull request but don't worry, I'll cherry-pick this one. |
changed color of the bug icon to #2c2c2c as requested in #114 (comment)
Done, picked to master. |
Schweet! Thanks @FezVrasta. When I said 2c I meant 2 cents, sorry for the confusion but #2c2c2c is fine as well. |
Ok sorry for the mess, I've deleted my old fork and I can't update it anymore ^_^"
I've tried to make everything in a single commit (without luck) and I've moved the Bash button in the git-panel.
Here two screenshots of the extension on not-inited and inited repositories.
Just ignore my old pull request.