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?

11.10 gedit zoom

— Greg V.
source

La fonctionnalité semble être rompue en 12.04. Ctrl + "-" et Ctrl + "0" fonctionnent, tandis que Ctrl + "+" et Ctrl + molette ne fonctionnent pas.

— Greg V.15

Réponses:

v2screenshot

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

— v2r
source

Je n'ai pas le plugin que vous avez mentionné ici.

— jokerdino

Vous pouvez toujours l'installer (: Vous savez comment .. bien!?

— v2r

C'était un indice pour vous dire d'ajouter la partie sur l'installation du plugin. ;)

— jokerdino

Ces étapes ne fonctionnent plus sur Ubuntu 17.10. Le gedit-pluginspackage ne comprend pas le gedit-plugin-text-sizepackage avec lui. Vous devez maintenant installer manuellement le package: sudo apt-get install -y gedit-plugin-text-size.

— code_dredd

@ v2r Il vaut mieux éviter certaines hypothèses :) BTW, l'une de vos URL est cassée, et il serait avantageux que vous mettiez à jour votre réponse pour refléter les étapes les plus récentes nécessaires pour y parvenir. Vous pouvez consulter mon commentaire précédent pour cela.

— code_dredd

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

— vanjoe
source

C'est peut-être le seul moyen «officiel». Mais, nous cherchons toujours le moyen le plus rapide, n'est-ce pas?

— Oki Erie Rinaldi

Merci, cela a fonctionné pour moi car je n'ai pas le plugin! +1

— ocean800

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é.