Dans le Select Font... de gVim, il y a un lien en bas à gauche qui dit Show more fonts . Lorsque je clique dessus, je suis simplement dirigé vers le dossier Fonts du Panneau de configuration. Comment puis-je utiliser ce dossier pour définir une police pour gVim, si je souhaite choisir une police qui ne figure pas dans la liste restreinte de la boîte de dialogue elle-même ?
Réponses
Trop de publicités?
jopa
Points
800
Les polices disponibles et la solution de repli pour les glyphes qui ne sont pas contenus dans la police sélectionnée dépendent de la plate-forme.
Sous Windows, actuellement seulement une largeur fixe sont prises en charge ; le sélecteur de polices n'affiche donc que celles-ci. Comme vous l'avez déjà remarqué, il ne sert à rien non plus de :set guifont= à eux directement.
James Mertz
Points
390
Vous pouvez régler le 'guifont' vous-même, par exemple dans votre ~/.vim/vimrc ou via la ligne de commande de Vim.
Par exemple :
let &guifont="DejaVu Sans Mono:h9"
set guifont=Consolas:h10Notez que l'utilisation de polices à largeur variable dans Vim ne fonctionnera pas bien. C'est pourquoi la liste les filtre.
