Showing the last saved plugin snapshot.
← Leaderboard / UI Enhancements / Plugin
439436269-ctrl/dsh-pinned-sessions
“A pinned group above the workspace browser.”
Star rank
#5586declared plugin rank
In UI Enhancements
#896category rank
Stars
1GitHub repository
Forks
1GitHub repository
Watchers
0GitHub subscribers
TL;DR
A pinned group above the workspace browser: pinned sessions from every workspace in one collapsible, searchable list, plus pinned Workspaces that unfold their own sessions in place, with a pin entry in the workspace row menu.
30 days of GitHub stars
+1 stars
+0% observed change
Oct 14Oct 28Nov 12
