5 votes

Lost Crotchet avatar

Pas de plugin gedit pour la taille du texte dans Ubuntu 18.04

Demandé el 18 de Février, 2019
Quand la question a-t-elle été
883 affichage
Nombre de visites la question a
1 Réponses
Nombre de réponses aux questions
Résolu
Situation réelle de la question

Dans Ubuntu 16.04, je pouvais ouvrir Gedit et aller dans Préférences -> Plugins, puis cocher la case du plugin Text-Size, mais ce plugin n'apparaît plus dans la liste de la version qui fonctionne dans Ubuntu 18.04. Veuillez me conseiller.

Demandé el 18 de Février, 2019 par Lost Crotchet

Réponse

Trop de publicités?

7voto

cmak.fr avatar
cmak.fr Points 7466

Le site gedit les plugins doivent être installés

Trouvez les plugins disponibles :

apt-cache search gedit-plugin-*

Installez le plugin "text-size" :

sudo apt install gedit-plugin-text-size
Répondu el 18 de Février, 2019 par cmak.fr (7466 Points )

Questions en vedette

Top Tags

Dans notre réseau

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

Yandex
X