Discussion :

[Gluups]

Bonjour tout le monde,

Dans une fenêtre de console, on peut agrandir la police de caractères en écartant les doigts sur le pavé tactile, mais existe-t-il une commande qui définit directement une taille de police à utiliser ?

J'ai réussi à faire positionner la fenêtre par le programme appelant, alors si je peux éviter de m'embêter avec la police de caractères à chaque session ...

Il y aurait bien émuler l'écartement de doigts par les API, mais là on entre dans le pêchu ...

[Gluups]

Ah mais, suis-je bête ...
Il suffit de changer la police par défaut.

Bon, on verra bien si quelqu'un a une idée pour la changer juste une fois par script. Mais ça ne sera pas pour cette fois-ci.