dsh-codex-pin

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.