Comment modifier la police et la taille de la police dans GVim

Question

Je viens de commencer à utiliser GVim. J'ai ajouté set guifont=Consolas/15 au fichier vimrc et défini la police dans le menu. Après avoir redémarré GVim, la police a été modifiée. Comment faut-il procéder ?

Answer 1

Quelques paramètres dans l'éditeur Vim (taille de police + numéro de ligne + jeu de couleurs)

[Hacking VIM] Personnalisation : Changer la police

Une question connexe sur

ubuntu : problème de réglage de la taille de la police vim