Maison > Questions et réponses > le corps du texte
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 ?
黄舟2017-05-16 16:41:17
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 surubuntu
: problème de réglage de la taille de la police vim