Questions marquées «font»

3
Puis-je utiliser une police non monospace dans Vim ou gVim?
Est-il possible d'utiliser une police non monospace dans vimou gvim? J'ai essayé de changer la police pour gVim avec: :set guifont=Dejavu\ Serif\ 12 Mais cela me donne des résultats plutôt laids: J'obtiens les mêmes résultats si j'utilise le menu (Édition -> Sélectionner la police) :help guifont dit: Note that the …
32 terminal  gvim  font 
2
Basculez rapidement entre les polices lors de l'exécution
Bien que les polices puissent être sélectionnées manuellement dans GVim à partir du menu, j'ai quelques polices préférées que je voudrais basculer entre en fonction de la tâche à accomplir (petit bitmap, OTF plus grand, etc.) . Existe-t-il un moyen de configurer la liaison de touches pour parcourir une liste …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.