Quelle police est utilisée dans Visual Studio Code Editor et comment modifier les polices?

J'ai essayé l'éditeur de code Visual Studio ( https://code.visualstudio.com/ ) qui a été récemment annoncé lors de la construction. Je l'ai essayé sur Windows et Ubuntu. Je peux voir que la police par défaut de Visual Studio Code Editor n'est pas des consolas que préfèrent mes éditeurs de code.

Alors, quelle est la police par défaut de Visual Studio Code Editor dans tous les environnements (Ubuntu, MAC OS et Windows)? Et comment puis-je le changer?

Accédez à Preferences> User Settings. (Alternativement, Ctrl+ ,/ Cmd+ ,sur macOS)

Ensuite, vous pouvez saisir à l'intérieur de l'objet JSON les paramètres que vous souhaitez remplacer. Les paramètres utilisateur sont par utilisateur. Vous pouvez également configurer les paramètres de l'espace de travail, qui sont pour le projet sur lequel vous travaillez actuellement.

Voici un exemple:

// Controls the font family.
"editor.fontFamily": "Consolas",

// Controls the font size.
"editor.fontSize": 13

Liens utiles:

• Paramètres par défaut

Dans les paramètres par défaut, VS Code utilise les polices suivantes (14 pt) dans l'ordre décroissant:

• Monaco
• Menlo
• Consolas
• "Droid Sans Mono"
• "Inconsolata"
• "Courier Nouveau"
• monospace (repli)

Comment vérifier: VS Code s'exécute dans un navigateur. Dans la première version, vous pouvez appuyer sur F12 pour ouvrir les outils de développement. En inspectant le DOM, vous pouvez trouver un contenant plusieurs s qui composent cette ligne de code. En inspectant l'une de ces étendues, vous pouvez voir que font-family n'est que la liste ci-dessus.

Les polices par défaut sont différentes sous Windows, Mac et Linux. À partir de VSCode 1.15.1, les paramètres de police par défaut se trouvent dans le code source :

const DEFAULT_WINDOWS_FONT_FAMILY = 'Consolas, \'Courier New\', monospace';
const DEFAULT_MAC_FONT_FAMILY = 'Menlo, Monaco, \'Courier New\', monospace';
const DEFAULT_LINUX_FONT_FAMILY = '\'Droid Sans Mono\', \'Courier New\', monospace, \'Droid Sans Fallback\'';

Dans VSCode, si "editor.fontFamily": ""est vide, la taille de la police ne fonctionnera PAS. Définissez une famille de polices pour modifier la taille.

"editor.fontFamily": "Verdana", ou "editor.fontFamily": "Monaco",

Vraiment, utilisez la famille de polices que vous aimez.

Alors "editor.fontSize": 16, devrait fonctionner.

Sur ma machine Windows 8.1, la police VS Code par défaut est Consolas, mais vous pouvez facilement changer la police dans Fichier-> Préférences-> Préférences utilisateur. Le fichier setting.json sera ouvert avec le fichier de paramètres par défaut, à partir duquel vous pouvez prendre la syntaxe et les noms des propriétés des paramètres et définir les vôtres dans settings.json.

Sous Windows, les paramètres par défaut sont les suivants (je n'ai jamais installé Monaco ni Menlo)

{
    "editor.fontFamily": "Consolas",
    "editor.fontSize": 14,
    "editor.lineHeight": 19
}

Les paramètres fontSize à 12 et lineHeight à 16 se rapprochent étroitement de Visual Studio défini sur Consolas avec une taille de 10 pt. Je n'ai pas pu obtenir une correspondance exacte (la police VS Code est légèrement plus audacieuse) mais assez proche.

Une autre façon de déterminer la police par défaut est de commencer à saisir les "editor.fontFamily"paramètres et de voir ce que le remplissage automatique suggère. Sur un Mac, il affiche par défaut:

"editor.fontFamily": "Menlo, Monaco, 'Courier New', monospace",

ce qui confirme ce que dit Andy Li ci-dessus.

Ouvrez vscode.

Appuyez sur ctrl,.

Le réglage est "editor.fontFamily".

Sous Linux, pour obtenir une liste des polices (et leurs noms que vous devez utiliser), exécutez ceci dans un autre shell:

fc-list | awk '{$1=""}1' | cut -d: -f1 | sort| uniq

Vous pouvez spécifier une liste de polices, pour avoir des valeurs de secours au cas où une police serait manquante.

Depuis que VisualStudio a été mis à jour maintenant (2019). Vous pouvez essayer cette méthode:

• Allez dans Fichier-> Préférences-> Paramètres .
• Accédez à l' onglet Espace de travail , puis à l' éditeur de texte-> Police
• Sous le formulaire Famille de polices , placez les noms de familles de polices que vous souhaitez utiliser séparés par une virgule. Par exemple, j'ai mis ces polices dans mon espace de travail: Cliquez pour voir les paramètres de mon espace de travail

Allez dans Outils-> Options dans le menu de la fenêtre principale. Sous Conteneur d'environnement, vous pouvez voir les polices et les couleurs. Vous pouvez sélectionner la police et la couleur de votre choix.

Pour Windows, veuillez suivre ces étapes Goto -> Fichier -> Préférences -> Paramètres
OU appuyez sur CTRL +, (pour Windows uniquement) vous verrez la page des paramètres, vous trouverez l'onglet d'option de l'éditeur de texte sur le côté gauche, puis cliquez sur `` Police '' puis ajoutez tout nom de famille de polices valide que vous souhaitez appliquer à vscode.