#1 Le 11/02/2018, à 12:01
- QUIDAM-1
[RÉSOLU] problème de polices dans les menus
Bonjour,
J'ai fait une mauvaise pioche ! J'ai installé tweak-tool à partir de la logithèque et ensuite je ne sais pas ce que j'ai bricolé mais je me retrouve avec des titres écrits dans une taille très petite et presque illisible. C'est évidemment très gênant mais je ne sais pas comment faire la manip inverse
Si quelqu'un connaît la solution, je suis preneur.
À chaque tasse bue je me dis que je devrais apprendre à nager avant d'aller dans le grand bassin........
Merci
Dernière modification par QUIDAM-1 (Le 12/02/2018, à 09:54)
Hors ligne
#2 Le 11/02/2018, à 18:00
- Nzokal
Re : [RÉSOLU] problème de polices dans les menus
Rentre dans tweak-tool puis dans l'onglet apparence tu réinitialise juste les paramètres
Hors ligne
#3 Le 11/02/2018, à 18:57
- QUIDAM-1
Re : [RÉSOLU] problème de polices dans les menus
Merci à toi mais je ne trouve pas comment réinitialiser dans l'onglet apparence
Hors ligne
#4 Le 11/02/2018, à 19:12
- Nzokal
Re : [RÉSOLU] problème de polices dans les menus
Essaie d'entrer cette commande en mode super utilisateur dans ton terminal
rm -rf .gnome .gnome2 .gconf .gconfd .metacity .cache .dbus .dmrc .mission-control .thumbnails ~/.config/dconf/user ~.compiz*Hors ligne
#5 Le 11/02/2018, à 21:31
- QUIDAM-1
Re : [RÉSOLU] problème de polices dans les menus
@ Nzokal : C'est vraiment sympa de vouloir m'aider mais ça ne marche pas.
Dernière modification par QUIDAM-1 (Le 11/02/2018, à 21:33)
Hors ligne
#6 Le 11/02/2018, à 23:37
- Roschan
Re : [RÉSOLU] problème de polices dans les menus
Si c'est un problème de taille de police, aller dans l'onglet "Polices" de tweak tool me paraît être une idée pertinente.
Hors ligne
#7 Le 12/02/2018, à 09:54
- QUIDAM-1
Re : [RÉSOLU] problème de polices dans les menus
Merci Roschan : je ne savais tout simplement pas changer de police et de taille; je viens d'apprendre.
Dernière modification par QUIDAM-1 (Le 12/02/2018, à 09:56)
Hors ligne