Comment réduire la police de l'éditeur dans vscode

Cliquez d'abord sur l'option "Fichier" dans la barre de menu supérieure, puis cliquez sur "Préférences", "Paramètres utilisateur"

;

Puis dans la page des paramètres par défaut qui apparaît, ouvrez la colonne « Éditeur »

Recherchez ensuite le paramètre editor.fontSize, qui permet de contrôler le texte de la page ; size ;

Enfin, nous pouvons le définir dans la fenêtre des paramètres utilisateur à droite, par exemple en entrant editor.fontSize : 16 (peut être réglé sur plus petit), et enregistrer le fichier Can.

Tutoriel recommandé : Tutoriel vscode

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!