J'essaie de configurer les paramètres par défaut de mon interface graphique avec Vim. J'ai déjà fait des recherches sur le Web, mais toutes les solutions que j'ai trouvées et essayées n'ont pas fonctionné.
Voici quelques-unes des choses que j'ai essayées (dans le fichier .vimrc):
set guifont = Monaco:h20
set guifont=Monospace 20
En fait, je me fiche de la police Monaco.
:help
plutôt; c'est plus rapide et plus autoritaire. Dans votre cas, un simple vous:help font<C-d>
aurait suffi pour trouver:help guifont
et apprendre commentset guifont
correctement pour votre système.Réponses:
Pour le premier, supprimez les espaces. Les espaces sont importants pour la commande set.
Pour le second ça devrait être (le h spécifie la hauteur)
Ma recommandation pour définir la police est de faire (si votre version le prend en charge)
Cela fera apparaître un menu qui vous permet de sélectionner la police. Après avoir sélectionné la police, tapez
Pour montrer à quoi le guifont actuel est défini. Après cela, copiez cette ligne dans votre vimrc ou gvimrc. S'il y a des espaces dans la police, ajoutez un
\
pour échapper à l'espace.la source
:version
vim, il devrait lister les emplacements où vim recherche le fichier. Il devrait être quelque chose comme~/.vimrc
,~/.vim/vimrc
,$HOME/_vimrc
.Essayez un
\<Space>
avant12
, comme ceci:la source
Ajoutez Regular à la syntaxe et utilisez
gfn
:la source
Les autres réponses sont celles que vous avez posées, mais au cas où cela serait utile à quelqu'un d'autre, voici comment définir la police de manière conditionnelle à partir de l'écran DPI (Windows uniquement):
la source
wmic desktopmonitor get PixelsPerXLogicalInch /value
danscmd.exe
?Je traverse le même problème, je mets le code suivant dans le dossier
~/.gvimrc
et ça marche.la source