Skip to content
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

Category icons, tooltips, and shorter labels #270

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

DoomTas3r
Copy link
Contributor

@DoomTas3r DoomTas3r commented Oct 13, 2024

Shortens categories and gives them icons and tooltips. I couldn't find the Gnome icons so I edited and used the Godot icons. Loading the icons was not optimized

Similar to the idea #131 (comment)

  • Check for changes that might break code

image

@DoomTas3r DoomTas3r marked this pull request as ready for review October 13, 2024 22:06
@DoomTas3r DoomTas3r marked this pull request as draft October 13, 2024 22:13
@DoomTas3r DoomTas3r marked this pull request as ready for review October 13, 2024 22:16
@manuq
Copy link
Contributor

manuq commented Oct 17, 2024

Hi @DoomTas3r . This is nice, thanks for working on it. I think we can come up with better icons for the different categories later. Would you like to cleanup your commits so we can metge? Basically squash the "Fixes" commits and come with a few reviewable commits. Please let me know if you need help with cleaning up.

@DoomTas3r DoomTas3r marked this pull request as draft October 17, 2024 19:30
Adds a lot of icons that are used by the category picker, gives them tooltips, and shortens the labels
@DoomTas3r
Copy link
Contributor Author

I think I understand how squash works now. I will squash the commits in other pull requests

@DoomTas3r DoomTas3r marked this pull request as ready for review October 17, 2024 23:45
@DoomTas3r DoomTas3r changed the title Category icons and tooltip Category icons, tooltips, and shorter labels Oct 17, 2024
@DoomTas3r DoomTas3r marked this pull request as draft November 19, 2024 16:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants