Plugins

Plugin de fontes para a GUI web do DeepSeek Harness: define por conversa fonte, tamanho, altura da linha, peso, tracking, espaçamento de palavras e parágrafos e recuo da primeira linha; a fonte da interface acompanha. O código mantém seus próprios ajustes de fonte e ligaturas. Salva conjuntos distintos para claro/escuro como predefinições e ajusta cada eixo num painel flutuante.

Plugin da DeepSeek Harness Web GUI para definir as famílias tipográficas da interface e do código em Settings → General (--dsw-font-family, --dsw-font-mono, --ds-font-family-code).