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?
Sous Modifier → 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 aussi manuellement télécharger/installer le plugin.
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
Vous pouvez changer la taille de la police dans le menu Préférences sous l’onglet Polices
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-wheel
qu’il me fallait beaucoup.
À votre santé.