Changer la taille de la police dans macvim ?

Question

J'utilise macvim et je l'adore. Il se trouve que j'aime aussi beaucoup la police par défaut.

Ma question est la suivante :

Comment puis-je modifier la taille de la police dans mon fichier .gvimrc ? Je veux qu'elle soit plus grande, sans changer la police par défaut.

Tous les exemples que j'ai vus spécifient une police, puis un ':' et enfin la taille.

Alors comment puis-je changer le taille pas le police elle-même ?

Merci !

Answer 1

La police par défaut est Bitstream Vera (recherchez "police par défaut" sur cette page). Alors pourquoi ne pas simplement spécifier cette police, mais avec une taille de police différente ? Par exemple

:set guifont=Bitstream\ Vera\ Sans\ Mono:h14

Cette approche garantit également que si, à l'avenir, la valeur par défaut change (par exemple, pour devenir la valeur par défaut du système, Monaco ), votre police préférée sera toujours activée.

Answer 2

Un moyen rapide de définir la police si vous ne voulez pas qu'un menu apparaisse est de taper :set gfn=* .

Cela vous permettra d'ajuster n'importe quelle propriété de la police sans modifier quoi que ce soit d'autre à son sujet.

Vous pouvez alors utiliser :set gfn pour voir à quoi il est maintenant réglé et ajoutez-le à votre .vimrc.

Par exemple, dans mon cas, il montre guifont=Monaco:h12 et donc, afin d'obtenir le même paramètre au démarrage, j'ai ajouté set gfn=Monaco:h12 à mon .vimrc.

Answer 3

Aucune des réponses ci-dessus n'a fonctionné pour moi, voici ce qui a fonctionné :

Ajoutez à votre .gvimrc, pour les utilisateurs de Janus, c'est ~/.gvimrc.after :

set guifont=Menlo\ Regular:h14

Answer 4

⌘ - = y ⌘ - - augmentent et diminuent la taille de la police, respectivement.

Answer 5

Cela fonctionne très bien de mon côté.

set guifont=Menlo\ Regular:h12