dsh-codex-pin

Fixiert Sitzungen in einem einzigen Pinned-Abschnitt über allen Workspace-Gruppen der Web-Seitenleiste, ohne die gespeicherte Reihenfolge zu ändern; der Pin ist ein Flag im Host-Einstellungsdokument. Kontextmenü: umbenennen, pinnen, verzweigen, archivieren, löschen, Titel oder Sitzungs-ID kopieren; Bezeichnungen folgen der GUI-Sprache.