Replies: 2 comments
-
|
Yes I think we can reuse the tools icon here and add the folder names to that icon. |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
Added with #2528. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Looking at open source folders, it seems that the folder name
devtoolsis used more than I expected. My subjective opinion is that there already exists a folder icon fortools, so it's probably not a bad idea to include it there.Beta Was this translation helpful? Give feedback.
All reactions