Changer dynamiquement la taille de la police dans gvim?

9

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
la source

Réponses:

9

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
la 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