Changer la taille de police de gvim
Par dooblem le mardi 3 juin 2008, 21h38 - Linux - Lien permanent
Je trouve toujours que la taille de la police de gvim est un tantinet trop grande.
Pour une taille plus petite, rajouter ceci dans votre ~/.vimrc :
set guifont=Monospace\ 8
Commentaires
Pour avoir fait un billet la dessus y'a quelques mois, voici un petit complément :
avoir la même font que sous vim :
set guifont=Courier_New:h8:cANSI:
et pour avoir un fond noir et les couleurs qui vont bien :
colors koehler