2008-06-03 21:38

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
2008-06-03 21:38 · Tags:

1 Comment

  1. 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

    Répondre

Leave a Reply

Your email address will not be published. Required fields are marked *