J'utilise gVim 7.2 sur Windows 7. Je peux définir la police gui comme Consolas 10 (taille de police) dans le menu. J'essaie de définir cela dans un .vimrcfichier comme ci-dessous:
set guifont=Consolas\ 10
Mais ça ne marche pas. Est-ce que quelqu'un sait comment régler cela?
set guifont=Consolas:h11:cANSIau~/.vimrcfichier