recherche

Maison  >  Questions et réponses  >  le corps du texte

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

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 ?

PHP中文网PHP中文网2777 Il y a quelques jours1150

répondre à tous(1)je répondrai

  • 黄舟

    黄舟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 sur

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

    répondre
    0
  • Annulerrépondre