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.

Code VS - Comment changer la police

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.
    Code VS - Comment changer la police
  2. Accédez à la partie supérieure de l'écran et sélectionnez Fichier .
    Code VS - Comment changer la police
  3. Maintenant, dans le menu déroulant, allez dans Préférences > Paramètres .
    Code VS - Comment changer la police
  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.
    Code VS - Comment changer la police
  5. Ou cliquez sur Éditeur de texte > Police et recherchez l'entrée par défaut "editor.fontFamily": "Consolas ".
    Code VS - Comment changer la police
  6. Ensuite, au lieu de " Consolas ", saisissez le nom de votre police préférée.
    Code VS - Comment changer la police

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).
    Code VS - Comment changer la police
  2. Recherchez la ligne "editor.fontSize": 15 , votre taille de police peut être définie sur quelque chose de différent.
    Code VS - Comment changer la police
  3. Ensuite, au lieu de 15 , entrez votre taille de police préférée.
    Code VS - Comment changer la police

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 .
    Code VS - Comment changer la police
  2. Trouvez l' entrée "editor.fontSize": 14 , votre taille de police peut différer.
    Code VS - Comment changer la police
  3. Changez ceci en une taille de police de votre choix, 18 est utilisé dans cet exemple.
    Code VS - Comment changer la police

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 .Code VS - Comment changer la police
  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.

Sign up and earn $1000 a day ⋙

Comment mettre à jour Instagram sur Android ou iPhone

Comment mettre à jour Instagram sur Android ou iPhone

Comme toute autre application sur votre Android ou iPhone, Instagram reçoit des mises à jour régulières, ajoutant de nouvelles fonctionnalités, corrigeant des bugs et améliorant les performances. Ainsi,

Comment résoudre un problème de connexion ou un code MMI invalide sur un appareil Android

Comment résoudre un problème de connexion ou un code MMI invalide sur un appareil Android

Parfois, un message indiquant un problème de connexion ou un code MMI invalide apparaît et peut être frustrant pour les utilisateurs d'Android. Lorsque le message de code MMI invalide

Comment afficher les mots de passe Wi-Fi enregistrés sur Android

Comment afficher les mots de passe Wi-Fi enregistrés sur Android

Comment afficher les mots de passe Wi-Fi enregistrés sur Android, Comment afficher les mots de passe Wi-Fi enregistrés sur Android ? Très simple. Apprenons avec WebTech360 comment afficher les mots de passe

Comment prendre des captures décran dapplications non autorisées sur Android

Comment prendre des captures décran dapplications non autorisées sur Android

Comment faire une capture d'écran d'une application qui ne l'autorise pas sur Android, Besoin de prendre une capture d'écran d'une application qui limite cette fonctionnalité sur Android ? Vous avez plusieurs façons de prendre des captures d'écran

Comment déplacer des applications vers la carte SD sur les appareils Android

Comment déplacer des applications vers la carte SD sur les appareils Android

Comment déplacer des applications vers la carte SD sur les appareils Android, déplacez facilement les applications vers la carte SD sur toutes les versions d'Android pour libérer un espace de stockage précieux.

Comment mettre à jour la ROM personnalisée sur Android

Comment mettre à jour la ROM personnalisée sur Android

Comment mettre à jour une ROM personnalisée sur Android, les ROM personnalisées sont généralement mises à jour plus que les téléphones Android exécutant le micrologiciel d'origine. Voici comment mettre à jour la ROM personnalisée

Comment utiliser Material You sur Android 12

Comment utiliser Material You sur Android 12

Comment utiliser Material You sur Android 12, Material You propose de nombreuses options de personnalisation pour Android 12. Rejoignez WebTech360 pour apprendre à personnaliser Android 12

Instructions pour corriger lerreur de ne pas pouvoir ouvrir Google sur Android

Instructions pour corriger lerreur de ne pas pouvoir ouvrir Google sur Android

Instructions pour corriger l'erreur de ne pas pouvoir ouvrir Google sur Android. Le matin du 22 juin 2021, de nombreux utilisateurs du navigateur Google sur Android n'ont pas pu accéder au

Comment corriger lerreur de décalage dans lémulateur Android LDPlayer

Comment corriger lerreur de décalage dans lémulateur Android LDPlayer

Comment corriger l'erreur de décalage dans l'émulateur Android LDPlayer, Comment lire l'émulateur sans décalage ? Comment corriger le décalage de LDPlayer ? Trouvons-le avec WebTech360

Instructions pour sinscrire pour regarder Netflix gratuitement sur les téléphones Android

Instructions pour sinscrire pour regarder Netflix gratuitement sur les téléphones Android

Instructions pour s'inscrire pour regarder Netflix gratuitement sur les téléphones Android. Plus récemment, Netflix nous a permis de regarder librement des films et des émissions de télévision gratuitement sur les téléphones Android.

Instructions pour activer et désactiver les bulles de discussion Facebook Messenger sur Android

Instructions pour activer et désactiver les bulles de discussion Facebook Messenger sur Android

Instructions pour activer et désactiver les bulles de discussion de Facebook Messenger sur Android. Les bulles de discussion sont une fonctionnalité extrêmement utile de Facebook Messenger, aidant facilement les utilisateurs.

Comment sauvegarder les discussions secrètes sur Telegram pour Android

Comment sauvegarder les discussions secrètes sur Telegram pour Android

Comment sauvegarder les discussions secrètes sur Telegram pour Android. Vous souhaitez enregistrer ou transférer les discussions secrètes sur Telegram vers un nouveau téléphone ? Tu peux

LDPlayer : émulateur Android pour PC et ordinateur portable Windows

LDPlayer : émulateur Android pour PC et ordinateur portable Windows

LDPlayer : émulateur Android pour PC et ordinateur portable Windows, LDPlayer est un émulateur Android gratuit sur ordinateur. Que vous soyez utilisateur de PC ou de portable, LDPlayer est toujours disponible

Façons de corriger l’erreur de chargement de la batterie sur les téléphones Android

Façons de corriger l’erreur de chargement de la batterie sur les téléphones Android

Façons de corriger l'erreur de non-chargement de la batterie sur les téléphones Android. Rencontrez-vous une erreur de non-chargement de la batterie sur votre téléphone Android ? Ne vous inquiétez pas, les méthodes ci-dessous vous aideront

Pourquoi la sauvegarde de mon iPhone est-elle si volumineuse ?

Pourquoi la sauvegarde de mon iPhone est-elle si volumineuse ?

Nous savons tous à quel point il est important de sauvegarder régulièrement nos données. Cependant, chaque utilisateur d'iPhone a été surpris au moins une fois par la taille de sa sauvegarde. Vous avez effectué votre sauvegarde précédente il y a quelques semaines à peine, alors pourquoi

Critique de Pluto TV - Cela en vaut-il la peine?

Critique de Pluto TV - Cela en vaut-il la peine?

Pluto TV est un service de streaming qui fonctionne sur Internet. Contrairement à de nombreux services de contenu numérique comme Prime Video, Sling TV, DirecTV Now, Hulu et Netflix, Pluto TV est entièrement gratuit. Si vous avez déjà utilisé l'un des médias

Comment bloquer les appels de létranger

Comment bloquer les appels de létranger

Étonnamment, passer et recevoir des appels téléphoniques est devenu l'un des moyens les moins utilisés de communiquer par téléphone. L'omniprésence des téléphones portables a rendu les téléphones fixes presque obsolètes, et même ceux qui en ont ne les utilisent presque plus. Cela crée

Comment installer Ubuntu : Exécutez Linux sur votre ordinateur portable ou votre PC

Comment installer Ubuntu : Exécutez Linux sur votre ordinateur portable ou votre PC

La méthode d'installation standard d'Ubuntu consiste à télécharger le fichier image disque ISO et à le graver sur un CD ou un DVD. Néanmoins, Canonical est conscient que de nombreux utilisateurs de netbooks, d'ordinateurs portables et d'ordinateurs portables peuvent ne pas avoir accès à un CD/DVD.

Comment ajouter des photos ou des images à un PDF

Comment ajouter des photos ou des images à un PDF

La plupart des systèmes d'exploitation, y compris ceux des téléphones, sont généralement livrés avec Adobe Reader installé. Ce programme permet aux utilisateurs de visualiser des fichiers PDF mais ne leur permet pas toujours de modifier les documents. Heureusement, il existe plusieurs façons de modifier ces

Comment envoyer un ping à une adresse IP à partir dun PC ou dun appareil mobile

Comment envoyer un ping à une adresse IP à partir dun PC ou dun appareil mobile

Avec la forte demande actuelle de bande passante Internet, il est important de savoir si votre connexion réseau fonctionne correctement ou non. Si jamais vous rencontrez des problèmes avec votre connexion, le moyen le plus sûr de la tester est d'utiliser le "