Existe-t-il un moyen de changer la taille de la police dans gVim en utilisant des commandes natives? Et si non, quel script peut-on utiliser pour le faire
Existe-t-il un moyen de changer la taille de la police dans gVim en utilisant des commandes natives? Et si non, quel script peut-on utiliser pour le faire
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...
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...
Je veux zoomer dans VIM, comme Sublime text ou Atom, en utilisant CTRL +& CTRL -et CTRL 0pour réinitialiser la taille de police par
De nombreux systèmes proposent des boutons + et - zoom. Quelqu'un peut-il montrer comment émuler ces deux boutons gvim? Cela signifie que cliquer sur le bouton + augmenterait la taille de la police d'un pas. Le bouton - fait exactement le