Extension Éditeur de thèmes¶
Créez et modifiez des thèmes de coloration syntaxique depuis les Préférences. Les
thèmes sont enregistrés sous forme de fichiers portables themes/<id>.json dans
votre répertoire de configuration utilisateur : ils survivent aux mises à niveau
et peuvent être partagés entre installations.
Où la trouver¶
Préférences ▸ Coloration syntaxique ▸ Thèmes — l'extension ajoute une page de réglages, pas une entrée de menu.
Utilisation¶
- Choisissez un thème à modifier, ou dupliquez-en un pour partir d'une apparence existante.
- Ajustez les couleurs de chaque catégorie sémantique (mots-clés, chaînes, commentaires, nombres, types, …) ainsi que le texte/l'arrière-plan par défaut de l'éditeur.
- Réglez les couleurs de décoration de l'éditeur — arrière-plans de la sélection et de la ligne courante, parenthèses appariées/non appariées, teintes de la coloration intelligente et des marques, texte des URL, marqueur de signet, les couleurs de texte ajouté / supprimé du diff utilisées partout où l'éditeur affiche un diff en ligne (par exemple la boîte de dialogue de revue des modifications de l'assistant IA), et les teintes d'arrière-plan des lignes ajoutées / supprimées / modifiées / déplacées du diff de la vue Comparaison, plus l'encadré des caractères modifiés du diff. Chaque couleur de décoration est facultative ; Effacer la ramène à la valeur par défaut intégrée de l'éditeur pour la variante claire/sombre du thème.
- Appliquer écrit vos thèmes modifiés dans le répertoire de thèmes utilisateur ; le rechargement settings-applied de l'éditeur recolore alors immédiatement tous les documents ouverts.
| Type de thème | Modifiable ? |
|---|---|
| Thèmes intégrés (p. ex. Light, Dark) | Lecture seule — Dupliquer pour obtenir une copie modifiable. |
| Thèmes personnalisés (les vôtres) | Entièrement modifiables ; enregistrés dans votre dossier de thèmes utilisateur. |
Pas nécessaire pour utiliser les thèmes
L'éditeur charge et applique les thèmes tout seul. L'Éditeur de thèmes n'est nécessaire que pour les créer ou les modifier — le désinstaller laisse la gestion des thèmes pleinement fonctionnelle, simplement sans l'interface d'édition.