Dans la nouvelle version de VScode (1.60.0), ils ont ajouté beaucoup de choses pour la prise en charge des ordinateurs portables.
Lorsque j'essaie d'exécuter le code, la taille de la police de sortie est trop petite.
Mon paramètre de zoom sur vscode est défini sur -0,5. Le rendre 0 améliore un peu la sortie, mais la taille d'entrée est trop grande et la taille de cellule individuelle est également trop grande.
Est-ce que quelqu'un sait ce qui pourrait faire que la taille de la police soit différente?
capture d'écran montrant le problème
Solution du problème
La taille de la police peut être modifiée dans la prochaine version de vscode - v1.67 - avec ce paramètre:
Peut-être que ces deux nouveaux paramètres dans vscode v1.67 vous aideront :
notebook.outputFontSize
Taille de police pour les sorties en texte brut. Lorsqu'il est réglé sur 0 editor.fontSize
est utilisé.
notebook.outputFontFamily
La famille de polices pour la sortie en texte brut des cellules de bloc-notes. Lorsqu'il est défini sur vide, le editor.fontFamily
est utilisé.
- de https://github.com/microsoft/vscode/pull/147321/commits/51ab78f535d8537e031e1ae77cac678ae22b0249
Aucun commentaire:
Enregistrer un commentaire