Existe-t-il un moyen de modifier la taille de la police d'environnement dans Visual Studio Code? Des trucs comme la boîte IntelliSense, le panneau de débogage, les noms de fichiers, etc.

Je sais comment modifier la taille de police de l'éditeur, mais je ne sais pas comment modifier la taille de police de l'environnement. Je me demande donc si vous pouvez le changer d'une manière ou d'une autre.

Actuellement, il n'est pas possible de modifier la famille de polices ou la taille en dehors de l'éditeur. Vous pouvez cependant effectuer un zoom avant et arrière sur l'ensemble de l'interface utilisateur à partir du Viewmenu.

Mise à jour de notre version VS Code 1.0:

Un paramètre nouvellement introduit window.zoomLevelpermet de conserver le niveau de zoom pour de bon! Il peut avoir des valeurs négatives et positives pour effectuer un zoom avant ou arrière.

Copiez simplement "editor.fontSize": 18dans votre setting.jsonéditeur.

En appuyant sur Control+ Shift+ Ppuis en tapant "paramètres", vous pourrez facilement trouver le fichier de paramètres utilisateur ou espace de travail.

Dans Visual Studio Code, en appuyant sur Ctrl+et Ctrl-vous pouvez modifier la taille de police globale de l'EDI. Cela aide plus rapidement que la modification des paramètres dans chaque session. J'espère que ça aide...

À partir de la mi-2017 Pour accéder rapidement aux fichiers de paramètres, appuyez sur ctrl+ shift+ pet entrez settings, vous y trouverez les paramètres utilisateur et les paramètres de l'espace de travail, sachez que les paramètres de l'espace de travail remplaceront les paramètres utilisateur , il est donc préférable d'utiliser ces derniers directement pour en faire un changement global (les paramètres de l'espace de travail créeront un dossier dans la racine de votre projet), à partir de là, vous aurez la possibilité d'ajouter l'option "editor.fontSize": 14à vos paramètres sous forme de suggestion rapide, mais vous pouvez le faire vous-même et changer la valeur selon votre préférence taille de police.

Résumer:

1. ctrl+ shift+p

2. sélectionnez "paramètres utilisateur"

3. ajouter "editor.fontSize": 14

Essayez de jouer avec une combinaison des paramètres utilisateur suivants:

{
  "editor.fontSize": 18,
  "window.zoomLevel": 1.5,
}

Vous pouvez zoomer et dézoomer toute l'interface utilisateur à partir du menu Affichage.

En ce moment, j'utilise la version 1.21.1 et dans le menu Affichage, vous pouvez obtenir l'option Zoom avant et Zoom arrière qui sont les 2e et 3e dernières options. Vous pouvez le faire en utilisant Ctrl+ +et Ctrl+- .

Vous pouvez réinitialiser le zoom à tout moment en sélectionnant l' option Réinitialiser le zoom .

Après avoir appuyé sur Control+ Shift+ Pcomme suggéré par @Edwin:

1. Recherchez les paramètres de l'espace de travail:

2. Ensuite, "Placez vos paramètres dans le fichier à droite pour remplacer ... les paramètres par défaut et les paramètres utilisateur", ou cliquez sur l'onglet Paramètres utilisateur pour ajuster le window.zoomLevel si telle est l'action souhaitée.

Selon le changelog de la version 1.2, de nouvelles commandes ont été ajoutées pour zoomer et dézoomer uniquement la police mais toute l'interface utilisateur.

Journal des modifications: https://code.visualstudio.com/updates/v1_24#_font-zoom-commands

Utilisez les raccourcis clavier suivants pour remplacer les actions de zoom global par défaut:

sur macOS:

{ "key": "cmd+numpad_add",      "command": "editor.action.fontZoomIn" },
{ "key": "shift+cmd+=",         "command": "editor.action.fontZoomIn" },
{ "key": "cmd+=",               "command": "editor.action.fontZoomIn" },
{ "key": "cmd+numpad_subtract", "command": "editor.action.fontZoomOut" },
{ "key": "shift+cmd+-",         "command": "editor.action.fontZoomOut" },
{ "key": "cmd+-",               "command": "editor.action.fontZoomOut" },
{ "key": "cmd+numpad0",         "command": "editor.action.fontZoomReset" },
{ "key": "cmd+0",               "command": "editor.action.fontZoomReset" },

sous Windows et Linux:

{ "key": "ctrl+numpad_add",      "command": "editor.action.fontZoomIn" },
{ "key": "shift+ctrl+=",         "command": "editor.action.fontZoomIn" },
{ "key": "ctrl+=",               "command": "editor.action.fontZoomIn" },
{ "key": "ctrl+numpad_subtract", "command": "editor.action.fontZoomOut" },
{ "key": "shift+ctrl+-",         "command": "editor.action.fontZoomOut" },
{ "key": "ctrl+-",               "command": "editor.action.fontZoomOut" },
{ "key": "ctrl+numpad0",         "command": "editor.action.fontZoomReset" },
{ "key": "ctrl+0",               "command": "editor.action.fontZoomReset" },

1. Code VS ouvert
2. Commande type CTRL + SHFT + P
3. Type Paramètres de
4. Le fichier de paramètres s'ouvre.
5. Maintenant, sous Utilisateur> Éditeur de texte> Police, recherchez taille de la police
6. Entrez la taille de police souhaitée

C'est tout.

J'ai le mien prêt à "editor.fontSize": 12,

Enregistrez le fichier, vous verrez l'effet directement.

Prendre plaisir !

Une approche simple pour modifier la taille de police dans l'environnement de travail Visual Studio:

Allez dans : Fichier -> Préférences -> Paramètres OU Appuyez sur CTRL+, ie CTRL + COMMA.

Cela ouvrira settings.json .

Vous pouvez y voir 3 onglets:

1. Paramètres utilisateur
2. Paramètres de l'espace de travail
3. Paramètres des dossiers

Accédez aux paramètres utilisateur et ajoutez ceci:

{
"editor.fontSize": 16
}

Maintenant, enregistrez et fermez le fichier.

Dans le code ci-dessus, 16 représente la taille de la police. Augmentation de la diminution selon votre souhait.

(VS Code 1.33.1 sur Windows 7)

Zoom tout (UI et éditeur): CTRL + + , CTRL + - .

Éditeur de zoom: CTRL + molette de souris.

Voir ci-dessous comment je l'ai corrigé.

Comme suggéré par @Edwin: Appuyer sur Ctrl + Maj + P puis taper "paramètres" vous permettra de trouver facilement le fichier de paramètres utilisateur ou espace de travail.

Mon fichier de paramètres se trouve ici: "C: \ Users \ You_user \ AppData \ Roaming \ Code \ User \ settings.json"

Mon fichier ressemble à ceci:

{
    "editor.fontSize": 12,
    "editor.suggestFontSize": 6,
    "markdown.preview.fontSize": 0,
    "terminal.integrated.fontSize": 10,
    "window.zoomLevel": 0,
    "workbench.sideBar.location": "left",
    "editor.mouseWheelZoom": true
}

Cela m'a pris beaucoup de temps pour comprendre ce que j'avais accidentellement fait lorsque ma fenêtre de code était devenue énorme:

Zoom arrière = Ctrl+ Shift+ ,(virgule)

Zoom avant = Ctrl+ Shift+. (point / période)

Pas vraiment une réponse à la question posée, mais je pense que quelqu'un comme moi se retrouvera ici à cause des symptômes!

Il existe de nombreuses options pour modifier la taille de la police dans le code Visual studio (version: 1.36.1), Editor

Option 1:

Accédez à: Fichier > Préférences > Paramètres > sélectionnez l' onglet Utilisateur > Éditeur de texte > Police > Taille de police

Taille de la police: changez la taille de la police en pixels selon vos besoins

Option 2:

Appuyez sur Ctrl+P

Recherche: settings.json , ouvrez le fichier et ajoutez cette ligne dans le fichier settings.json :

{
    "editor.fontSize": 20
}

Remarque: enregistrer le fichier après les modifications

Option 3:

Appuyez sur Ctrl+ Shift+P

Recherche: police de l'éditeur Zoom avant

• Cliquez simplement dessus, la taille de votre police sera augmentée

Recherche: police de l'éditeur Zoom arrière

• Cliquez simplement dessus, la taille de votre police sera diminuée

À partir de maintenant (mars 2018) et de la version 1.21.0, vous pouvez aller dans Paramètres, rechercher `` zoom '' et changer "editor.mouseWheelZoom": falsece qui est faux par défaut en true. Cela permettra de zoomer / dézoomer sur VS Code en utilisant le bouton de commande et la souris - ctrl + scrollUp/scrollDown. Pour changer l' fontSizeespace de travail global / écran de VS Code, reportez-vous à la réponse d'Alegozalves ci-dessus.

Dans Visual Studio Code, la taille de police peut être facilement modifiée à partir de l'onglet Paramètres.

La façon la plus simple de le faire est d'appuyer sur Ctrl+ Shift+P puis de taper «Paramètres». Cela vous montrera quelques résultats. Choisissez 'Paramètres (UI)'. L'onglet Paramètres s'ouvre dans l'éditeur. Vous pouvez maintenant modifier les paramètres de police à partir d'ici. Cela n'affectera que la police de l'éditeur.

Ou, vous pouvez également cliquer sur l'icône des paramètres en bas à gauche de la fenêtre et rechercher la police à partir de là.

Afin de modifier la taille de police de l'ensemble de l'environnement, vous pouvez envisager d'appuyer sur ctrl+ +. Cela fonctionnera comme un zoom sur tout l'environnement, ce qui augmentera la taille de la police.

Appuyez sur Ctrlet utilisez la molette de la souris pour effectuer un zoom avant ou arrière .

Appuyez sur Ctrl, Shift, Pen même temps, un menu apparaît, recherchezEditor Zoom in . Après avoir sélectionné cela, la police s'agrandira dans une certaine mesure.

Répétez cette opération jusqu'à obtenir la taille de police souhaitée.

vous pouvez utiliser editor.fontSizedans votre setting.jsonfichier de l'éditeur.

par exemple :

{
"editor.fontSize": 14
}