Gedit ne me laisse pas changer la taille du texte: bloqué en mode texte géant
À première vue, cela ressemble à un doublon de Impossible de modifier la taille du texte dans gedit , mais ce n'est pas le cas: dans cette question, ils parlent en fait de la taille d'impression, je ne le suis pas.
J'utilise Ubuntu 14.04 et Gedit 3.10.4.
Quoi qu'il en soit - la semaine dernière, pour permettre à un de mes enfants de jouer avec l'éditeur de texte, j'ai changé la taille du texte par défaut pour qu'elle soit grande, dans l'onglet Édition/Préférences/"Police et couleur". Maintenant, je ne peux pas le changer à nouveau - je coche la case pour utiliser la police par défaut "Ubuntu Monospace 13", et la case est cochée puis se décoche immédiatement. Je peux changer la taille de la police à la place, et la modification revient simplement dès qu'elle est enregistrée.
Je pense que cela pourrait être dû à un fichier de configuration qui a les mauvaises autorisations: si j'ouvre Gedit en mode Sudo, je peux changer la taille de la police. Mais le changement opéré ici ne revient pas dans le gedit "non-Sudo".
Le seul fichier de configuration que je peux trouver à la maison est ~/.config/gedit/accels et les autorisations sont normales à ce sujet. Je pense que ce n'est qu'une liste de raccourcis clavier de toute façon. Il y a beaucoup d'autres fichiers de configuration dans /usr/share/gedit/ mais aucun ne semble avoir été modifié récemment.
J'ai essayé de désinstaller et de réinstaller gedit mais cela n'a fait aucune différence.
Des idées n'importe qui?
Cela ressemble à ce problème: l'option de menu "Gérer les outils externes" de gedit n'apparaît pas
Utilisez namei pour savoir si Sudo possède certains de vos fichiers de configuration:
$ namei -l ~/.config/gedit/tools
f: /home/rick/.config/gedit/tools
drwxr-xr-x root root /
drwxr-xr-x root root home
drwxr-xr-x rick rick rick
drwx------ rick rick .config
drwxr-xr-x root root gedit
drwxrwxr-x rick rick tools
Si vous voyez root apparaître en tant que propriétaire ou groupe ( après les deux premiers répertoires, / et home) puis utilisez cette commande:
Sudo chown -cR user:user /home/user
Où user est votre ID utilisateur. c'est à dire Max:Max /home/Max