Plugins

Plugin de polices pour la GUI Web de DeepSeek Harness : régle par conversation la police, la taille, l’interligne, la graisse, l’approche, les espaces entre mots et paragraphes et le retrait initial ; la police de l’interface suit ces choix. Le code garde ses propres réglages de police et de ligatures. Enregistre des configurations distinctes pour les modes clair/sombre en préréglages ; panneau flottant pour chaque réglage.

Plugin DeepSeek Harness Web GUI pour définir les familles de polices de l’interface et du code dans Settings → General (--dsw-font-family, --dsw-font-mono, --ds-font-family-code).