web-dev-qa-db-fra.com

Quelle police est utilisée dans Visual Studio Code Editor et comment changer de police?

J'ai essayé l'éditeur de code Visual Studio ( https://code.visualstudio.com/ ) qui est récemment annoncé à 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 la consola qui est préférable à mes éditeurs de code. 

Quelle est donc 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?

visual-studio-code
120
Jalpesh Vadgama

Allez à Preferencesname__> User Settings. (Alternativement, Ctrl + , / Cmd + , sur macOS)

Ensuite, vous pouvez taper dans 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:

151
John Papa

Par défaut, VS Code utilise les polices suivantes (14 points) par 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 une de ces plages, vous pouvez voir que la famille de polices n’est que la liste ci-dessus.

 relevant areas

92
Sebastian

En 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 de votre choix. 

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

18
John Galbraith

Sur ma machine Windows 8.1, la police VS Code par défaut est Consolas, mais vous pouvez facilement la modifier dans Fichier-> Préférences-> Préférences utilisateur. Le fichier setting.json sera ouvert en même temps que le fichier de paramètres par défaut. Vous pourrez y définir la syntaxe et les noms des propriétés de paramètres et définir les vôtres dans settings.json.enter image description here

13
Nikita Kunevich

Les polices par défaut sont différentes sous Windows, Mac et Linux. A partir de VSCode 1.15.1, les paramètres de police par défaut sont disponibles 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\'';
10
Andy Li

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 to 12 et lineHeight to 16 se rapprochent beaucoup de Visual Studio défini sur Consolas avec une taille de 10 points Je ne pouvais pas obtenir une correspondance exacte (la police VS Code est légèrement plus audacieuse) mais suffisamment proche.

10
Axel Rietschin

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

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

ce qui confirme ce qu'Andy Li dit ci-dessus.

1
shacker

Allez dans Outils-> Options dans le menu de la fenêtre principale. Sous le conteneur Environnement, vous pouvez voir les polices et les couleurs. Vous pouvez sélectionner la police et la couleur que vous voulez.

0
Salih ESKİOĞLU

Ouvrez vscode.

Presse ctrl,.

Le paramètre est "editor.fontFamily".

Sous Linux, pour obtenir une liste des polices (et leurs noms que vous devez utiliser), exécutez cette opération 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 remplacement en cas d'absence d'une police.

0
sjas