Replies: 1 comment
Thanks for the suggestion! I’ll consider adding a Favorites (or Pin) feature in a future release. |
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Is there any way to mark tools as "Favorite", and maybe have like a Favorites section on top of other sections in the Explorer list?
All reactions