ChineseRyan/dsh-plugin-workspace-archive

Adds an Archive workspace item to the workspace row menu: archives the sessions under that workspace through the official command, leaving the one you are currently viewing open, and refusing the batch while any session is still running. The host hides archived sessions but keeps the emptied workspace row in the sidebar; this plugin hides that row too, and restores the whole group from a footer panel backed by a ledger under $DSH_HOME/storages written behind a cross-process lock. Its count badge can be set to always, on-new-only, or never.