He editado la configuración de VScode en el archivo settings.json
/* "terminal.integrated.fontSize": 13 "terminal.integrated.fontFamily": "Monaco" */
Tuve que comentarlos porque VScode empezó a darme un mensaje de error cada vez que modificaba otras configuraciones también.
El mensaje de error: No se puede escribir en la configuración de usuario
0 votos
Algun contexto facilitaría encontrar respuestas aquí. ¿Cómo editaste ese archivo, dónde está almacenado, cuáles son sus permisos?
0 votos
He editado en VScode según las instrucciones. Es un estándar de VScode. Se presume que los permisos están bien ya que el archivo funcionaba antes de la edición.