Il ne s'agit pas tant d'une question de codage que de l'éditeur de code de Visual Studio. Ce que je veux faire, c'est utiliser le code source pro dans l'éditeur, mais je ne sais pas comment changer le paramètre de police. Merci!
Installez d'abord la police sur votre machine si nécessaire. Ensuite, dans votre fichier JSON de paramètres utilisateur (Fichier> Préférences> Paramètres utilisateur), remplacez editor.fontFamily
ainsi:
// Place your settings in this file to overwrite the default settings
{
"editor.fontFamily": "Source Code Pro"
}
Vous devrez peut-être redémarrer VSCode s'il était déjà ouvert lors de la première installation de la police.
Pour faire suite à la réponse de Nacimota, pour installer des polices personnalisées (en utilisant Windows 10 l'exemple suivant), suivez le tutoriel ici .
Pour moi, il s'agissait de rechercher des "polices" dans ma barre des tâches, puis de cliquer sur le résultat supérieur. De là, j'ai fait glisser tous les fichiers dans le répertoire "target/TTF", qui est généré à partir du didacticiel Source Code Pro.