Changer la taille de police de gvim

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:

Leave a Reply

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

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>