web-dev-qa-db-fra.com

Comment faire un zoom avant et arrière sur du texte dans Gedit?

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

Sur Ubuntu avant l’unité, j’utilisais le plug-in gedit-zoom pour zoomer du texte dans la fenêtre de l'éditeur, Ctrl++/-ou en tenant Ctrl+ molette de la souris. Le même plugin ne semble pas fonctionner dans Ubuntu 11.10.

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

21
Greg V.

v2screenshot

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

  2. ctrl+Trackpad scroll (haut/bas) vous permet également d'effectuer un zoom avant ou arrière, non seulement dans gEdit, mais également dans votre navigateur Web, votre système de fichiers, etc.

Les deux possibilités fonctionnent parfaitement dans Ubuntu 11.10.


Informations de mise à jour pour Ubuntu 17.x.x, 18.x.x et versions ultérieures, comme suggéré par code_dredd - testé et fonctionne:

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

enter image description here

25
v2r

enter image description hereVous pouvez changer la taille de la police dans le menu Préférences sous l’onglet Polices

5
vanjoe

Je n'ai pas vu le plugin "Text size" dans la liste des plugins lorsque j'ai ouvert le Preferences->Plugins même après avoir installé le paquet gedit-plugins (via apt install) et redémarré plusieurs fois le gedit. 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_64 et l’a installé, a redémarré gedit et a vu le plugin "Text size" par la suite dans la liste. Il l’a activé et enfin a obtenu la fonction de zoom avant/arrière avec mouse-scroll-wheelqu’il me fallait beaucoup.

À votre santé.

1
user194850