Plugin

Fissa le sessioni in un’unica sezione Pinned sopra tutti i gruppi workspace nella sidebar Web senza modificare l’ordine salvato; il pin è un flag nel documento impostazioni host. Menu contestuale: rinomina, fissa, crea fork, archivia, elimina, copia titolo o ID sessione; etichette nella lingua della GUI.

Migra sessioni DSH tra versioni da archivi legacy (v0 in testo semplice ed esportazioni .zstd/.zip). Reimposta il cwd nell’intestazione sul workspace di destinazione e inserisce le sessioni perché il livello di persistenza le aggiorni all’apertura. Sidebar con schede env/import/list/convert e CLI con check/fix/import.