Plugins

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.

Migra sessões DSH entre versões a partir de armazenamentos antigos (v0 em texto simples e exportações .zstd/.zip). Redefine o cwd do cabeçalho para o workspace de destino e coloca as sessões para que a camada de persistência as atualize ao abrir. Barra lateral com abas env/import/list/convert e CLI com check/fix/import.