J'utilise macvim et j'adore ça. J'apprécie également beaucoup la police par défaut.
Ma question est:
Comment 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 vus spécifient une police puis un ':' puis la taille.
Alors, comment changer la taille et non la police elle-même?
Merci!
Réponses:
La police par défaut est Bitstream Vera (recherchez «police par défaut» sur cette page). Alors pourquoi ne pas simplement le spécifier, 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, la Monacopolice par défaut du système ), vous aurez toujours votre police préférée activée.
Bitstreamfamille de polices d' origine , "pour fournir une plus large gamme de caractères tout en conservant l'aspect et la sensation d'origine" . Merci de revenir avec cette information.
Un moyen rapide de définir la police si cela ne vous dérange pas qu'un menu s'affiche est de taper :set gfn=*.
Cela vous permettra d'ajuster n'importe quelle propriété de la police sans rien changer d'autre à ce sujet.
Ensuite, vous pouvez utiliser :set gfnpour voir à quoi il est maintenant défini et l'ajouter à votre .vimrc.
A titre d'exemple, dans mon cas, cela montre guifont=Monaco:h12et donc afin d'obtenir le même paramètre au démarrage, j'ai ajouté set gfn=Monaco:h12à mon .vimrc.
Aucune des réponses ci-dessus n'a fonctionné pour moi, voici ce qui a fonctionné:
Ajoutez à votre .gvimrc, pour les utilisateurs janus son ~ / .gvimrc.after:
set guifont=Menlo\ Regular:h14
⌘- =et ⌘- -augmenteront et diminueront respectivement la taille de la police.
Cela fonctionne très bien ma fin.
: set guifont = Menlo \ Régulier: h12
Une note utile manque dans les réponses - vous pouvez utiliser set guifont=*ce qui fera apparaître un sélecteur de polices pour que vous puissiez sélectionner parmi les polices disponibles sur le système. Cela peut être OSX et Linux uniquement, mais il est préférable de le saisir manuellement.
Une fois que vous avez sélectionné la police, vous pouvez utiliser à set guifontnouveau qui imprimera le nom de la police et la taille que vous avez sélectionnée. La seule mise en garde étant que tous les espaces doivent être antislashés dans votre ~ / .vimrc
La modification de la taille de la police de la console vim peut augmenter ou diminuer
set guifont=Menlo\ Regular:h14
Pour Macvim suivant le travail de raccourci clavier
zoom out - CMD+-
zoom in -CMD+=
Pour le terminal
Zoom in-CMD/ctrl++
Zoom out-CMD/ctrl+-
Normal default size - CMD/cmd+0
fontsizein set guifont=Menlo\ Regular:h<fontsize>augmente / diminue en conséquence.
De Ja Vu Verasur mon système. Huh. Merci quand même!