this post was submitted on 22 Jun 2023
35 points (100.0% liked)
Programming.dev Meta
2365 readers
1 users here now
Welcome to the Programming.Dev meta community!
This is a community for discussing things about programming.dev itself. Things like announcements, site help posts, site questions, etc. are all welcome here.
Links
Credits
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Yes letting everyone choose their own icon shape is a great idea, and thanks for sharing that script, I've been missing the compact view!