Para cambiar el tipo de letra que aparece en la ventana de comandos (agosto de 2018)

Actualización del tema: se ha añadido una imagen para el botón del menú de la aplicación.

  1. Haga clic en el botón del menú de la aplicación > Opciones.
  2. En el cuadro de diálogo Opciones, dentro de la ficha Visual, en Elementos de ventana, haga clic en Tipos.
  3. En el cuadro de diálogo Tipo de letra de la línea de comando, seleccione el tipo de letra, el estilo de tipo de letra y el tamaño.

    En Muestra del tipo de letra de la línea de comando aparece un ejemplo de las elecciones actuales.

  4. Haga clic en Aplicar y cerrar para guardar los cambios.
  5. Nota: Este parámetro no afecta al texto de los dibujos.