Showing the last saved plugin snapshot.
← Leaderboard / Other / Plugin
neoeto/dsh-workspace-categories
“User-defined category tree for the sidebar workspace list.”
Star rank
Pendingplugin verification
In Other
Pendingplugin verification
Stars
0GitHub repository
Forks
0GitHub repository
Watchers
0GitHub subscribers
TL;DR
User-defined category tree for the sidebar workspace list: group workspace folders into nested categories from the workspace header's View options, drag a workspace onto a category to file it, and browse a much shorter list.
30 days of GitHub stars
+0 stars
+0% observed change
Oct 14Oct 28Nov 12
