Comment changer la taille de la police dans la barre latérale de VS Code?
Interrogation de fontsize dans User Settings window ne donne que les réglages pour:
- les volets de l'éditeur,
- suggérer un widget,
- aperçu du démarquage,
- terminal intégré
comme vous pouvez le voir ci-dessous:
Faire la même chose pour sidebar donne des résultats encore plus médiocres:
Avoir des polices de tailles différentes dans les volets de l'éditeur et dans la barre latérale ressemble ... réglons avec: pas trop gentil . Ai-je juste trouvé la plus grande omission de cet outil génial?
Cela fait demande de fonctionnalité depuis un certain temps. La réponse courte est qu’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 proposée par @ lindesvard dans le même fil de discussion qui implique l'utilisation de l'extension CSS et JS Loader personnalisés à charger dans un fichier CSS personnalisé modifiant le menu latéral. style si vous êtes prêt à expérimenter.
Pour que cela fonctionne, suivez la section Mise en route dans les détails de l'extension, puis ajoutez les URL de vos fichiers personnalisés au fichier "vscode_custom_css.imports": [""] tableau. (Notez que sur Windows, le mien ressemble à ceci: "vscode_custom_css.imports": ["file:///C:\\dev\\vscode-styling.css"])
Ci-dessous sont avant et après l'ajout du CSS mentionné par @ PSVapour dans un commentaire ultérieur :
Notez que cela affecte également la police de la palette de commandes.
La réponse de Mihai Chelar présente un moyen de faire plus que simplement ajuster la taille de la police de la barre latérale. Ceci, cependant, a un prix de un peu de bidouillage , peut-être plus que ce que vous seriez prêt à faire, si la seule chose qui vous intéressait était le simple fait de changer la taille de la police de la barre latérale. Alors voici une solution plus simple.
Il suffit de zoomer sur l'interface utilisateur de VS Code dans son intégralité avec CTRL++ ou CTRL+- respectivement et que nous ajustons les tailles de police que nous contrôlons dans settings.json fichier, c'est-à-dire:
editor.fontSize,editor.suggestFontSize,markdown.preview.fontSize,terminal.integrated.fontSize
donc tout correspond. C'est ça.
Je veux juste ajouter à la discussion, si vous définissez:
"window.zoomLevel": "your number",
Dans mon cas, j'ai commencé avec zéro, vous pouvez l'utiliser comme une sorte de base:
"editor.fontSize": 14,
"editor.tabSize": 2,
"terminal.integrated.fontSize": 14,
"window.zoomLevel": 0,
"[Log]": {
"editor.fontSize": 14
},
Et ensuite peaufiné jusqu'à ce que je sois heureux. J'espère que cela t'aides!