70 votes

Comment changer la taille de la police dans la barre latérale de VS Code ?

Demande d'informations sur fontsize sur User Settings ne donne que des paramètres pour :

  • les volets de l'éditeur,
  • suggérer un widget,
  • aperçu markdown,
  • terminal intégré

comme vous pouvez le voir ci-dessous :

enter image description here

Faire de même pour sidebar donne des résultats encore plus médiocres :

enter image description here

Le fait d'avoir des polices de tailles différentes dans les volets de l'éditeur et dans la barre latérale a l'air... contentons-nous de cela : pas trop gentil . Est-ce que je viens de trouver la plus grande omission de cet outil génial ?

121voto

Je veux juste ajouter à la discussion, si tu es prêt :

"window.zoomLevel": "your number",

Dans mon cas, j'ai commencé par zéro, vous pouvez utiliser cela comme une sorte de ligne de base :

 "editor.fontSize": 14,
  "editor.tabSize": 2,
  "terminal.integrated.fontSize": 14,
  "window.zoomLevel": 0,
  "[Log]": {
    "editor.fontSize": 14
  },

Et puis j'ai ajusté jusqu'à ce que je sois satisfait. J'espère que cela vous aidera !

56voto

z33k Points 645

La réponse de Mihai Chelaru présente un moyen de faire plus que simplement ajuster la taille de la police de la barre latérale. Toutefois, cela a un prix un peu de bricolage Si vous n'êtes intéressé que par le simple fait de changer la taille de la police de la barre latérale, vous ne serez peut-être pas prêt à le faire. Voici donc une solution plus simple.

Il suffit de faire un zoom avant ou arrière sur l'ensemble de l'interface utilisateur de VS Code avec CTRL + + ou CTRL + - respectivement et que d'ajuster les tailles de police sur lesquelles nous avons le contrôle en settings.json c'est-à-dire :

  • editor.fontSize ,
  • editor.suggestFontSize ,
  • markdown.preview.fontSize ,
  • terminal.integrated.fontSize

pour que tout corresponde. C'est tout.

29voto

Mihai Chelaru Points 3368

Cela a été un demande de fonctionnalité depuis un certain temps. En bref, il n'existe actuellement aucun paramètre VSCode permettant de personnaliser la taille de la police de la barre latérale. Il existe une solution de contournement astucieuse proposée par @lindesvard dans le même fil de discussion. qui consiste à utiliser le Chargeur CSS et JS personnalisé pour charger un fichier CSS personnalisé qui modifie le style de la barre latérale si vous êtes prêt à l'expérimenter.

Pour que cela fonctionne, suivez la section "Getting Started" dans les détails de l'extension, puis ajoutez les URL de vos fichiers personnalisés dans le champ "vscode_custom_css.imports": [""] réseau. (Notez que sous Windows, le mien ressemble à ce qui suit : "vscode_custom_css.imports": ["file:///C:\\dev\\vscode-styling.css"] )

Les images ci-dessous sont avant et après l'ajout du CSS mentionné par @PSVapour dans un commentaire ultérieur :

Original Modified

Notez que cela affecte également la police de la palette de commande.

Prograide.com

Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.

Powered by:

X