J'ai édité les paramètres VScode dans le fichier settings.json
/* "terminal.integrated.fontSize" : 13 "terminal.integrated.fontFamily" : "Monaco" */
J'ai dû les commenter parce que VScode commençait à donner un message d'erreur chaque fois que je modifiais d'autres paramètres aussi.
Le message d'erreur : Impossible d'écrire dans les paramètres de l'utilisateur
0 votes
Un peu de contexte permettrait de trouver plus facilement des réponses ici. Comment avez-vous modifié ce fichier, où est-il stocké, quelles sont ses autorisations ?
0 votes
Je l'ai édité dans VScode selon les instructions. C'est un standard VScode. Les permissions sont supposées être correctes puisque le fichier fonctionnait avant l'édition.