6
Comment puis-je changer la taille de la police pour Git Bash?Git Bash (MinGW 64) v2.12.2 - comment changer la taille de la police?
Ceci est le site web où j'ai téléchargé l'application associée, click here.
A
Répondre
6
clic droit dans le coin supérieur gauche de la fenêtre Bash Git et a choisi "Options ..":
Cliquez sur "Texte" et « Select ". Sélectionnez une taille de police appropriée:
Appuyez sur OK et Enregistrer pour conserver les nouveaux paramètres.
Avez-vous essayé de cliquer sur l'icône dans le coin supérieur gauche de la fenêtre, en sélectionnant les propriétés et en cochant les options à cet endroit? –
Ohh merci beaucoup! ça a marché. –