Plugin

Elenca in un pannello le sessioni recenti di tutte le aree di lavoro, con raggruppamento per orario, due ordinamenti, ricerca nei contenuti, apertura nel file manager e note locali che propongono di inserirsi nella bozza.

Adds a Workspaces / Recent-sessions switcher above the sidebar list, with a pinned-sessions group, a per-row menu (pin/unpin, copy session id), title filtering, and browser-local pin storage with a one-shot migration from dsh-plugin-pin-session.

Opens the recent sessions in a sheet that floats over the sidebar workspace list, from one row above Settings: rows sorted by last activity with their run state, a draggable height, and a list that settles onto whole rows after stopping. The sheet paints no surface of its own, so it reads as part of the sidebar.