简体中文(ZH-CN) English(EN) 繁体中文(ZH-TW) 日本語(JA) 한국어(KO) Melayu(MS) Français(FR) Deutsch(DE)
Comment modifier la police et la taille de la police dans GVim
PHP中文网
PHP中文网 2017-05-16 16:39:17
0
1
1022

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中文网

认证高级PHP讲师

répondre à tous (1)
黄舟
黄舟2017-05-16 16:41:17 1 plancher

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

Comme+0
Ajouter une réponse
    Sujets populaires
    Plus>
    Articles populaires
    Tutoriels populaires
    Plus>
    Tutoriels associés
    Recommandations populaires
    Derniers cours
    Derniers téléchargements
    Plus>
    effets Web
    Code source du site Web
    Matériel du site Web
    Modèle frontal
    À propos de nous Clause de non-responsabilité Sitemap
    Site Web PHP chinois：Formation PHP en ligne sur le bien-être public，Aidez les apprenants PHP à grandir rapidement！