Comment zoomer et dézoomer dans Gedit?

J'utilise Ubuntu 11.10. Cela semble être une question facile, mais je ne trouve de réponse nulle part.

Sur Ubuntu pré-unitaire, j'utilisais le plugin gedit-zoom pour zoomer le texte dans la fenêtre de l'éditeur vers l'intérieur / vers l'extérieur, soit avec Ctrl+ +/ -, soit en maintenant Ctrl+ la molette de la souris . Le même plugin ne semble pas fonctionner dans Ubuntu 11.10.

Est-ce que je peux obtenir une fonction de zoom de texte?

1. Sous Édition → Préférences → Plugins , vous pouvez cocher la case Taille du texte et zoomer avec ctrl+ +.

   • Cliquez sur gedit-plugins pour installer les plugins Gedit.

   • Vous pouvez également télécharger / installer manuellement le plugin.

2. ctrl+ Trackpad scroll(haut / bas) vous permet également de zoomer et dézoomer, non seulement dans gEdit, mais aussi dans votre navigateur Web, votre système de fichiers, etc.

Les deux possibilités fonctionnent très bien dans Ubuntu 11.10.

Mettre à jour les informations pour Ubuntu 17.xx, 18.xx et versions ultérieures, comme suggéré par code_dredd - testé et fonctionne:

sudo apt-get install -y gedit-plugin-text-size

Vous pouvez changer la taille de la police dans le menu des préférences sous l'onglet polices

Je n'ai pas vu de "Text size"plugin dans la liste des plugins lorsque j'ai ouvert Preferences->Pluginsmême après avoir installé le gedit-pluginspackage (via apt install) et redémarré geditplusieurs fois. J'ai donc téléchargé manuellement le fichier deb correspondant ( gedit-plugin-text-size_3.22.0-2_amd64.deb) à partir du tableau de bord ( http://launchpadlibrarian.net/335063179/gedit-plugin-text-size_3.22.0-2_amd64.deb ) pour mon Ubuntu 17.10 x86_64et l' ai installé, redémarré gedit et vu le "Text size"plugin par la suite dans la liste. L'activé et enfin obtenu la fonction de zoom avant / arrière avec mouse-scroll-wheelj'avais bien besoin.

À votre santé.