Connaissances Informatiques >> Dépannage >> PC Dépannage >> Content
  Derniers articles
  • Le Dell Computer ne veut pas sortir …
  • Comment supprimer un compte Reddit s…
  • Comment ouvrir des feuilles de calcu…
  • Démarrez sécurité pour un Dell GX…
  • Comment retirer la carte SIM du Sams…
  • OnePlus 6 Comment changer l'écran d…
  • Comment lier un compte Smite Steam 
  • Comment arrêter MSI Installer 
  • Comment changer la langue dans MIUI 
  • Comment ajouter et supprimer des jou…
  •   PC Dépannage
  • Virus informatiques

  • convertir des fichiers

  • Support pour portable

  • Dépannage ordinateur portable

  • Support PC

  • PC Dépannage

  • Les mots de passe

  • Résoudre les erreurs informatiques

  • Désinstaller Hardware & Software

  • Google

  • VPN

  • Videos

  • AI

  • ChatGPT

  • OpenAI

  • Gemini

  • Browser
  •  
    PC Dépannage

    VS Code – Comment changer la police

    Il existe différentes manières de changer la police dans VS Code :

    1. Paramètres utilisateur

    2. Paramètres de l'espace de travail

    3. Paramètres de fichiers individuels

    Paramètres utilisateur  apportera des modifications globalement à tous les fichiers de votre espace de travail VS Code. Cela serait recommandé pour apporter des modifications aux options de police par défaut.

    Remarque :Les paramètres utilisateur sont définis et définis dans votre VS Settings JSON.

    Pour personnaliser les paramètres de police pour `vos paramètres utilisateur` recherchez les options `"editor.fontFace"`, `"editor.fontSize"` et/ou `"editor.lineHeight"` .

    ```

    {

    "editor.fontFace":"Arial", // par défaut :Monaco

    "editor.fontSize":16, // par défaut :14

    "editor.lineHeight":24, // par défaut :20

    }

    ```

    Paramètres de l'espace de travail  sont définis pour un dossier spécifique. C'est mieux pour apporter des modifications à un fichier spécifique plutôt qu'à tous les fichiers de l'ensemble de l'espace de travail.

    Pour modifier la police de `les paramètres de votre espace de travail`, recherchez les options `"editor.fontFace"`, `"editor.fontSize"` et/ou `"editor.lineHeight"` dans les paramètres JSON du dossier sur lequel vous travaillez. dans.

    ```

    {

    "editor.fontFace":"Arial", // par défaut :Monaco

    "editor.fontSize":16, // par défaut :14

    "editor.lineHeight":24, // par défaut :20

    }

    ```

    Paramètres de fichiers individuels  remplacera les paramètres de police pour des fichiers spécifiques. Ceci est mieux utilisé pour apporter des modifications de police à un type de fichier spécifique.

    ```

    {

    "fichiers.associations":{

    "*.js":"javascript",

    "*.html":"html",

    "*.css":"css",

    "*.java":"java"

    },

    "[javascript]":{

    "editor.fontFace":"Arial",

    "éditeur.fontSize":16,

    "editor.lineHeight":24

    },

    "[html]":{

    "editor.fontFace":"Helvetica",

    "éditeur.fontSize":14,

    "editor.lineHeight":20

    },

    "[css]":{

    "editor.fontFace":"Courier Nouveau",

    "éditeur.fontSize":12,

    "editor.lineHeight":18

    },

    "[Java]":{

    "editor.fontFace":"Times New Roman",

    "éditeur.fontSize":10,

    "editor.lineHeight":16

    }

    }

    ```

    _N'oubliez pas d'enregistrer vos paramètres après avoir apporté des modifications._

     
    Article précédent:
    Article suivant:
    Articles recommandés
  • Guider la technologie - Articles pratiques, guides d'achat de gadgets, listes techniques 
  • Comment trouver des messages non lus dans Messenger 
  • Comment mettre en place un bouton UNDOCK sur un ordinateur portable Dell 
  • Comment réparer un pilote du microphone pour Free 
  • Comment supprimer msp Windows 
  • Comment connecter un moniteur, clavier et souris à deux ordinateurs 
  • Comment réparer un ordinateur lent rapidement pour Free 
  • Comment réparer Newdev.dll 
  • Comment utiliser un radeau à Valheim 
  • Comment supprimer le mode hors ligne de votre site dans SiteGround ? 
  • Connaissances Informatiques © http://www.ordinateur.cc