Changer la taille de police macvim?
Je suis en utilisant macvim et je l'aime. J'ai aussi arriver à vraiment comme la police par défaut.
Ma question est:
Comment puis-je changer la taille de la police dans mon .gvimrc? Je veux qu'il soit plus grand, sans changer la police par défaut.
Tous les exemples que j'ai vu que vous spécifiez une police puis un":", puis la taille.
Alors, comment dois-je viens de changer la taille pas le police lui-même?
Merci!
Vous devez vous connecter pour publier un commentaire.
La police par défaut est Bitstream Vera (la recherche pour "police par défaut" sur cette page). Alors pourquoi ne pas simplement préciser que, mais avec une taille de police différente? E. g.
Cette approche garantit également que si à l'avenir la valeur par défaut changements (par exemple, pour le système par défaut,
Monaco
), vous aurez toujours votre police préférée activé.De Ja Vu Vera
sur mon système. Hein. Merci en tout cas!Bitstream
famille de polices, "afin de fournir un plus large éventail de personnages tout en gardant le look original et de se sentir". Merci de revenir avec cette info.Un moyen rapide pour définir la police si vous n'avez pas l'esprit un menu pop-up est de type
:set gfn=*
.Cela vous permettra d'ajuster n'importe quelle propriété de la police sans rien changer d'autre.
Ensuite, vous pouvez utiliser
:set gfn
pour voir ce qu'il est maintenant réglé et l'ajouter à votre .vimrc.Comme un exemple, dans mon cas, cela montre
guifont=Monaco:h12
et donc dans la même configuration au démarrage, j'ai ajoutéset gfn=Monaco:h12
à mon .vimrc.Aucune des réponses ci-dessus, a travaillé pour moi, voici ce qui a fonctionné:
Ajouter à votre .gvimrc, pour le janus aux utilisateurs de sa ~/.gvimrc.après :
⌘-= et ⌘-- va augmenter et diminuer la taille de la police, respectivement.
Cela fonctionne très bien ma fin.
:set guifont=Menlo\ Régulier:h12
Une note est manquante à partir des réponses que vous pouvez utiliser
set guifont=*
une police-sélecteur pour vous pour sélectionner les polices disponibles sur le système. Il peut être OSX et Linux uniquement, mais qu'il est préférable d'avoir à les saisir manuellement.Une fois que vous avez sélectionné la police de caractères, vous pouvez utiliser
set guifont
nouveau d'imprimer le nom de la police et de la taille que vous avez sélectionnée. Le seul inconvénient est que les espaces doivent être backslashed dans votre ~/.vimrcLa modification de la taille de vim console taille de la police peut augmenter ou diminuer
Pour Macvim clés suivants raccourci travail
Pour Terminal
fontsize
dansset guifont=Menlo\ Regular:h<fontsize>
augmentera/diminuera en conséquence.