Changer la taille de la police macvim?
J'utilise macvim et j'adore ça. J'aime aussi beaucoup la police par défaut.
Ma question est:
Comment changer la taille de la police dans mon fichier .gvimrc? Je veux qu'il soit plus gros, 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 puis-je simplement changer le taille pas le police lui-même?
Merci!
La police par défaut est Bitstream Vera (recherchez "police par défaut" sur cette page). Alors pourquoi ne pas simplement spécifier cela, 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, les modifications par défaut (par exemple la valeur par défaut du système, Monaco), vous aurez toujours votre police préférée activée.
Un moyen rapide de définir la police si un menu contextuel ne vous dérange pas est de taper :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 défini et l’ajouter à votre fichier .vimrc.
Par exemple, dans mon cas, il montre guifont=Monaco:h12 et ainsi afin d’obtenir le même réglage 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 fichier .vimrc, pour les utilisateurs janus, son ~/.vimrc.after:
set guifont=Menlo\ Regular:h14
⌘-= et ⌘-- va augmenter et diminuer la taille de la police, respectivement.
Cela fonctionne très bien ma fin.
: set guifont = Menlo\Regular: h12
Il manque une note utile dans les réponses - vous pouvez utiliser set guifont=* qui fera apparaître un sélecteur de polices que vous pourrez sélectionner parmi les polices disponibles sur le système. Il peut s’agir uniquement d’OSX et de Linux, mais il est préférable de le saisir manuellement.
Une fois que vous avez sélectionné la police, vous pouvez utiliser set guifont encore une fois, ce qui affichera le nom de la police et la taille que vous avez sélectionnée. Le seul inconvénient est que tous les espaces doivent être inversés dans votre ~/.vimrc
Changer la taille en console vim la taille de la police peut augmenter ou diminuer
set guifont=Menlo\ Regular:h14
Pour Macvim suivant le raccourci clavier
zoom out - CMD+-
zoom in -CMD+=
Pour Terminal
Zoom in-CMD/ctrl++
Zoom out-CMD/ctrl+-
Normal default size - CMD/cmd+0