Code VS - Comment changer la police

Il est facile pour un développeur de sous-estimer l'importance de son environnement de travail. Non, nous ne parlons pas de la couleur de votre chaise, bureau et mur. Nous parlons de votre environnement de travail virtuel.

Faire en sorte que votre éditeur de code Visual Studio se sente comme chez vous est extrêmement important pour l'efficacité de votre travail. La police couvre une grande partie de la sensation globale de VS. Dans cet article, nous allons vous apprendre à modifier les polices dans différentes parties de l'éditeur VS Code.

Comment changer la police dans VS Code

Même si vous êtes un développeur qui travaille avec VS depuis longtemps, vous ne connaissez peut-être toujours pas ses options de changement de police.

Si vous ne vous souciez pas de l'importance de choisir votre propre police, passez directement au didacticiel quelques paragraphes ci-dessous. Gardez à l'esprit, cependant, que les raisons de changer votre police (décrites ci-dessous) peuvent vous aider dans votre décision.

Pourquoi les polices sont-elles si importantes dans VS ? Bon, si l'aspect esthétique ne vous suffit pas (et croyez-nous, après des heures et des heures passées dans un éditeur de code, ça commence à avoir de l'importance), c'est en fait aussi une question de fonctionnalité. Alors, qu'est-ce qui rend une police "appropriée" pour VS ?

En premier lieu, vous souhaiterez que la distinction entre des personnages similaires soit notable. Par exemple, distinguer facilement le chiffre 1 et le L minuscule peut considérablement accélérer votre codage et vous faire gagner du temps.

Ensuite, il y a le fait que certains développeurs aiment utiliser des ligatures. Les ligatures sont quelques symboles réunis. Ceux-ci sont également appelés « glyphes », et ils peuvent signifier beaucoup lors du codage.

Sans plus tarder, voici comment changer la famille de polices dans VS :

1. Ouvrez votre éditeur VS.
   
2. Accédez à la partie supérieure de l'écran et sélectionnez Fichier .
   
3. Maintenant, dans le menu déroulant, allez dans Préférences > Paramètres .
   
4. Vous verrez maintenant la section Couramment utilisée avec un menu sur le côté droit de l'écran, vous pouvez accéder à la police à partir de cette page ou en suivant l'étape ci-dessous.
   
5. Ou cliquez sur Éditeur de texte > Police et recherchez l'entrée par défaut "editor.fontFamily": "Consolas ".
   
6. Ensuite, au lieu de " Consolas ", saisissez le nom de votre police préférée.
   

Cela devrait automatiquement changer la famille de polices.

Comment changer la taille de la police dans VS Code

Même si vous avez une vue parfaite, vous voudrez garder vos yeux aussi confortables que possible lorsque vous écrivez des lignes de code. Tout comme la différence entre des caractères similaires est importante lors du choix d'une famille de polices, la taille de la police est importante pour faciliter le codage et vous aider à travailler plus efficacement.

Il n'y a pas de formule magique pour la meilleure taille de police pour le codage. Idéalement, vous voudrez voir les caractères aussi clairement que possible, mais vous voudrez également que la ligne s'adapte à la fenêtre VS. Alors, essayez différentes tailles de police et trouvez celle qui correspond le mieux à vos besoins de codage.

Voici comment changer la taille de la police dans VS Code :

1. Accédez au menu Paramètres utilisateur (étape numéro 3 du didacticiel sur les polices).
   
2. Recherchez la ligne "editor.fontSize": 15 , votre taille de police peut être définie sur quelque chose de différent.
   
3. Ensuite, au lieu de 15 , entrez votre taille de police préférée.
   

Comment changer la police de l'explorateur dans VS Code

La fonctionnalité Explorer dans VS Code fonctionne exactement comme la fonctionnalité Explorer dans la plupart des autres applications. Il est utilisé pour gérer, parcourir et ouvrir des fichiers et des dossiers pour travailler sur votre projet. Étant donné que VS Code est basé sur des dossiers et des fichiers, l'explorateur vous permet de démarrer facilement - il suffit d'ouvrir le fichier/dossier à l'aide de VS Code. C'est aussi simple que ça.

Vous pouvez vous attendre à utiliser un peu l'explorateur de code VS. Si la taille de la police de l'explorateur ne vous convient pas, vous serez heureux de savoir que vous pouvez la changer.

1. Accédez à nouveau au menu Paramètres utilisateur .
   
2. Trouvez l' entrée "editor.fontSize": 14 , votre taille de police peut différer.
   
3. Changez ceci en une taille de police de votre choix, 18 est utilisé dans cet exemple.
   

Comment changer la police du terminal dans VS Code

Au lieu de changer de fenêtre ou de modifier l'état du terminal existant, VS Code vous permet d'utiliser un terminal intégré, qui se trouve à la racine de votre projet/espace de travail. Bien sûr, vous voudrez peut-être apporter des modifications à la police ici pour en faciliter l'utilisation. Voici comment procéder pour changer la police du terminal VS Code :

1. Accédez au dossier racine de votre projet/espace de travail.
2. Ouvrez le fichier settings.json à l'aide de VS Code. Alternativement, dans VS Code, appuyez sur Ctrl + Maj + P (au lieu de Ctrl , utilisez Command pour les appareils Mac) et recherchez le fichier settings.json .
3. Remplacez les trois lignes correspondantes par ceci : Notez que D2Coding est un exemple. Vous pouvez également choisir n'importe quelle autre police que vous préférez.
   “terminal.external.osxExec”: “iTerm.app”,
“terminal.integrated.shell.osx”: “/bin/zsh”,
“terminal.integrated.fontFamily”: “D2Coding”,
   
4. Enregistrez les paramètres lorsque vous avez terminé.

Pour modifier la taille de la police du terminal, accédez à l' entrée "terminal.integrated.fontSize": et réglez-la sur celle de votre choix.

Comment changer la police des commentaires dans VS Code

Les entrées de commentaires de code sont, par défaut, dans la même police que le reste du code. Changer cela les fait ressortir, ce qui peut souvent éviter des heures de travail inutiles (il est facile de manquer un commentaire lorsqu'il est dans la même police que tout le reste dans VS). Aussi simple que ce genre de chose puisse paraître, la solution est un peu plus complexe que ce à quoi vous vous attendiez. En outre, les résultats peuvent ne pas être idéaux, car cela peut entraîner des problèmes d'alignement. Pourtant, ça ne fait pas de mal d'essayer:

1. Accédez au dossier d'installation racine de VS Code sur votre appareil.
2. Accédez à l' entrée touch style.css dans le terminal. Cela créera une feuille de style.
3. Il est maintenant temps d'ajouter la règle de police. Voici un exemple de style :
   .mtk3 {

font-family: "iosevka";

font-size: 1em;

font-style: italic;

}
4. Ouvrez settings.json et ajoutez cette entrée :
   "vscode_custom_css.imports":
"file:///Users/username/.vscode/style.css"],
5. Maintenant, téléchargez le plugin Custom CSS et JS Loader .
6. Une fois installé, utilisez la commande Ctrl + Maj + P et assurez-vous que le plugin est activé.
7. Redémarrez VS Code.
8. Les commentaires devraient maintenant avoir une nouvelle police.

Comment changer la taille de la police de la barre latérale dans VS Code

Aucun paramètre dans VS Code ne permet à l'utilisateur de modifier la taille de la police du terminal. Cependant, une solution de contournement existe, et elle implique le plugin Custom CSS et JS Loader mentionné.

1. Dans le plugin, accédez aux détails de l'extension et suivez attentivement la section du didacticiel.
2. Utilisez la logique suivante :
   "vscode_custom_css.imports": ["[insert custom file URL]"]
3. Faites cela pour chaque fichier personnalisé.

Le résultat devrait donner une barre latérale VS Code bien meilleure et esthétique.

Comment changer la police en utilisant différents systèmes d'exploitation

Si vous codez dans VS, vous utilisez soit un ordinateur Windows, un Mac ou un système Linux. Bien que ces trois éléments ne soient pas identiques en termes de VS, les différences se résument principalement à l' option de touche Ctrl / Cmd et aux emplacements par défaut des fichiers de code VS. Ainsi, le principe du changement de police dans VS Code reste à peu près le même sur tous les appareils.

FAQ supplémentaire

Pourquoi ne puis-je pas changer la police dans VS Code ?

Il existe de nombreuses erreurs que vous pouvez commettre dans VS Code, et changer la police n'est pas aussi simple que de le faire dans MS Word. Comme vous utiliserez beaucoup de codage pour changer la police réelle de VS Code, vous devez connaître les oublis les plus courants. Assurez-vous que chaque entrée est entourée de guillemets. Par exemple, "vscode_custom_css.imports": ["file:///Users/username/.vscode/style.css"] , ne fonctionnera que si vous utilisez les guillemets. De plus, assurez-vous d'utiliser des espaces entre les commandes.

Quelle police est utilisée pour le code dans VS Code ?

Par défaut, la police utilisée pour le codage dans VS Code est Consolas. Si vous suivez ce guide, vous pouvez modifier la plupart des polices dans VS Code, qu'il s'agisse du code lui-même, du terminal, des commentaires ou de la fonctionnalité d'exploration.

Cependant, si vous parlez de la police trouvée sur les images du site officiel de VS Code, personne ne peut vous dire laquelle a été utilisée. À moins que les développeurs de VS Code ne révèlent explicitement quelle police a été utilisée, il n'y a aucun moyen de le savoir.

Comment pirater une police VS Code ?

À l'origine, pirater signifiait modifier, mais si vous entendez par là ajouter la police Hack à VS, vous pouvez l'ajouter via le site Web de Hack . Téléchargez la police TrueType à partir de Hack. Extrayez le fichier zip téléchargé. Installez les fichiers extraits. Ensuite, allez dans Outils, suivi d'Options. Dans le menu Options, sélectionnez Environnement, puis accédez à Polices et couleurs. Ouvrez le menu déroulant Police et sélectionnez l'entrée Hack.

Quelle police les pirates utilisent-ils ?

En règle générale, chaque codeur, y compris les pirates, utilise une police qu'il aime. Ray Bluetens, également connue sous le nom de Lawn Dart Fonts, est un bon exemple de police populaire qui serait le « choix d'un hacker ».

Modification des options de police dans VS Code

Traiter les options de police dans VS Code n'est certainement pas aussi simple que de changer les polices dans un programme d'éditeur de texte. Cependant, étant donné que nous parlons ici de logiciel de codage, VS offre une grande variété d'options par rapport à ses concurrents. Suivez les instructions de cet article et rendez votre expérience de codage aussi personnalisée, conviviale et fluide que possible.

Avez-vous réussi à modifier vos paramètres de police dans VS Code ? Avez-vous rencontré des problèmes ? Faites défiler vers le bas et consultez notre section commentaires ci-dessous. Il fourmille de bons conseils. Ne vous abstenez pas non plus de poser une question ou d'entamer une discussion. Notre communauté est plus qu'heureuse de vous aider.