Changer dynamiquement la taille de la police dans gvim?

J'aimerais pouvoir changer dynamiquement la taille de la police dans gvim.

Essentiellement, la fonctionnalité commune de zoom avant / zoom arrière que vous trouverez dans de nombreux logiciels.

Donc, si j'appuie sur Ctrl+=, la taille de la police augmente. Si j'appuie sur Ctrl+-, la taille de la police diminue. Et, idéalement, si j'appuie sur Ctrl-0la taille de la police revient à ma taille par défaut.

C'est possible?

vim gvim

— ngm
source

Réponses:

Bien sûr, via zoom.vim

(il est mappé sur + et - par défaut, mais je suppose que vous savez comment changer cela à votre goût).

— Tour
source

Ce script spécifié dans zoom.vim ne fonctionne pas. J'obtiens l'erreur suivante en l'essayant dans VI. Erreur détectée lors du traitement de la fonction <SNR> 9_ZoomIn: ligne 2: E18: caractères inattendus avant '='

Il semble que cela ne fonctionne plus de nos jours.

— daminetreg

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.