Showing the last saved plugin snapshot.

← Leaderboard / UI Enhancements / Plugin
Last repository activity November 11, 2026 · Created October 6, 2026

439436269-ctrl/dsh-pinned-sessions

“A pinned group above the workspace browser.”

Star rank
#5586
declared plugin rank
In UI Enhancements
#896
category rank
Stars
1
GitHub repository
Forks
1
GitHub repository
Watchers
0
GitHub subscribers
Open on GitHub ↗
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