Changer la taille de la police dans la fenêtre de commande d'octave

Question

J'ai récemment commencé à utiliser la dernière version d'octave 4.2.1 sur mes fenêtres 10. La taille de la police sur ma fenêtre de commande semble être très petite et il devient difficile de voir ce que je tape. J'ai essayé de trouver comment changer la taille de la police sur plusieurs sources, y compris le manuel et je ne pouvais pas le trouver. Quelqu'un peut-il s'il vous plaît la procédure étape par étape pour modifier la taille de la police dans ma fenêtre de commande? Je vous remercie.

Answer 1

Crossposting on the octave help mailinglist. OP réponse "acceptée" de Torsten:

Je suppose que vous utilisez l'interface graphique. Voici les étapes pour changer la taille de la police :

1. Ouvrir les préférences via le menu « Edition/Préférences » ou en tapant « préférences » dans le terminal
2. Allez à l'onglet « Terminal »
3. Sélectionnez la taille de police souhaitée dans la zone de texte "Taille de la police"