dsh-codex-pin

Fixa sessões em uma única seção Pinned acima de todos os grupos de workspace na barra Web, sem alterar a ordem armazenada; o pin é um sinalizador no documento de configurações do host. Menu de contexto permite renomear, fixar, bifurcar, arquivar, excluir e copiar título ou ID da sessão, com rótulos no idioma da GUI.