Interroger pour fontsize dans la fenêtre des Paramètres utilisateur ne donne que des réglages pour :
comme vous pouvez le voir ci-dessous :
Faire de même pour sidebar donne encore de plus mauvais résultats :
Avoir des polices de différentes tailles dans les volets de l'éditeur et dans la barre latérale semble... disons : pas très joli. Ai-je juste découvert la plus grande omission de cet outil génial ?
Je veux simplement ajouter à la discussion, si vous définissez :
"window.zoomLevel": "votre numéro",Dans mon cas, j'ai commencé par zéro, vous pouvez utiliser cela comme sorte de référence :
"editor.fontSize": 14,
"editor.tabSize": 2,
"terminal.integrated.fontSize": 14,
"window.zoomLevel": 0,
"[Log]": {
"editor.fontSize": 14
},Et ensuite ajusté jusqu'à ce que j'étais satisfait.
Par exemple, si vous souhaitez augmenter la taille de la police de la barre latérale en gardant la taille de la police de l'éditeur inchangée : définissez "window.zoomLevel": 0.5 et "editor.fontSize": 18. Regardez le résultat. Jouez avec les deux valeurs pour obtenir le résultat que vous aimez.
J'espère que cela vous aide !
C'est ridicule, mais c'est certainement la réponse la plus rapide et la plus facile à comprendre. Merci.
La seule chose manquante dans cette réponse est l'endroit où trouver le fichier de configurations. J'ai pu régler le niveau de zoom via les étapes suivantes : Barre latérale > Gérer > Paramètres > Fenêtre > Niveau de zoom. Ensuite Éditeur de texte > Police > Taille de police
La réponse de Mihai Chelaru présente une façon de faire plus que simplement ajuster la taille de la police de la barre latérale. Cependant, cela implique un peu de bricolage, peut-être plus que ce à quoi vous seriez prêt si la seule chose qui vous intéressait était le simple fait de changer la taille de la police de la barre latérale. Voici donc une solution plus simple.
Il suffit de zoomer tout l'interface utilisateur de VS Code avec CTRL++ ou CTRL+- respectivement, puis d'ajuster les tailles de police sur lesquelles nous avons le contrôle dans le fichier settings.json, à savoir :
editor.fontSize,editor.suggestFontSize,markdown.preview.fontSize,terminal.integrated.fontSizeafin que tout concorde. C'est tout.
Je fais de cette manière également. Cependant, la police de la barre latérale devient soit 10 soit 12, pas 11 que j'aime. Donc j'ai réglé la taille de la police de l'éditeur et du terminal à 13, zoomé à 1. L'éditeur devient 11, la barre latérale devient 10. Je peux vivre avec ça pour le moment.
Cela fait longtemps que c'il s'agit d'une demande de fonctionnalité. La réponse courte est qu'à l'heure actuelle, il n'y a pas de paramètre VSCode qui vous permet de personnaliser la taille de la police de la barre latérale. Il existe une solution de contournement proposée par @lindesvard dans le même fil de discussion qui implique l'utilisation de l'extension Custom CSS and JS Loader pour charger un fichier CSS personnalisé qui modifie le style de la barre latérale si vous êtes prêt à expérimenter avec cela.
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 au tableau "vscode_custom_css.imports": ["" (Remarquez que sur Windows, le mien ressemble à ce qui suit: "vscode_custom_css.imports": ["file:///C:\\dev\\vscode-styling.css"])
Voici avant et après l'ajout du CSS mentionné par @PSVapour dans un commentaire ultérieur:
Remarquez que cela affecte également la police de la palette de commandes.
Bonne réponse. Je vais simplement ajouter qu'il y a aussi une solution de contournement plus simple en zoomant avec CTRL+- pour réduire la taille de toutes les polices, puis en ajustant celles sur lesquelles nous avons le contrôle en conséquence. Cependant, cela a l'inconvénient de réduire également la taille d'autres éléments d'interface utilisateur tels que les onglets des éditeurs. Cela m'a convenu, mais cela peut varier pour vous.
Oui, c'est en effet une alternative beaucoup plus simple. Peut-être pourriez-vous la poster en tant que réponse pour lui donner plus de visibilité.
J'ai suivi tous les éléments mentionnés dans, marketplace.visualstudio.com/… et copié-collé ce qui suit dans le fichier css personnalisé mais cela n'a pas fonctionné ..monaco-tree-row.has-children { font-weight: 500; margin: 8px; color: #eee; font-size: 14px; } .monaco-tree-row { font-weight: 300; margin: 5px; font-size: 12px; color: #bbb; }
En plus de @réponse de Mihai Chelaru, j'ai trouvé un autre plugin qui m'a aidé à résoudre ce problème. Le nom du plugin est CustomizeUI.
CustomizeUI repose sur l'Extension Monkey Patch pour injecter du javascript personnalisé dans VSCode. Voici les paramètres que j'utilise (dans settings.json) pour mon Mac :
"customizeUI.stylesheet": {
".explorer-viewlet .mac": "font-size: 1.2em !important; overflow: auto; border-left:none!important",
},Encore une fois, ce plugin est destiné à faire plus que simplement changer la taille de police de la barre latérale. Mais il a quelques avantages mineurs par rapport à Custom CSS and JS Loader. Comme :
Il n'affichera pas Unsupported sur la barre de titre ou ne montrera aucun message d'erreur du type Votre installation est corrompue.
Vous n'avez pas à recharger les paramètres à chaque mise à jour de VS Code.
Changer la taille de police à l'aide de raccourcis clavier en utilisant le plugin FontSize Shortcuts. Sur un Mac, je peux me concentrer sur le terminal ou l'éditeur et changer la taille de police de ces zones indépendamment l'une de l'autre. https://marketplace.visualstudio.com/items?itemName=fosshaas.fontsize-shortcuts
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.
