police du menu de gestionnaire de fichiers ubuntu 14.04

dranreb30 · Le 11/07/2015, à 21:06

Bonjour,

En vain , je n'arrive pas a changer la police du menu de gestionnaire de fichiers (onglets documents, home etc + menu déroulant options d'affichage options d'emplacement ) . mise à niveau vers Ubuntu 14.04. environnement Gnome shell . ..

Merci pour votre aide

alca94 · Le 11/07/2015, à 22:21

Bonsoir
A tout hasard dans "Paramètres systèmes" ---> Saisie de texte ---> en bas a droite a cocher = Utiliser une police personnalisée ---> clic sur la case

dranreb30 · Le 11/07/2015, à 22:59

Bonsoir , merci pour la réponse mais pas de "saisie de texte" dans "paramètres système"

alca94 · Le 11/07/2015, à 23:13

Si vous êtes bien sous Ubuntu vous devez avoir ça

Ayral · Le 11/07/2015, à 23:20

Dans l'environnement Gnome Shell c'est peut être différent, mais c'est sûrement quelque part.

alca94 · Le 11/07/2015, à 23:28

je ne connais pas "gnome-shell" par contre dans XUBUNTU c'est dans "paramètres ---> gestionnaire des fenêtres c'est peut-être là aussi ?

EDIT = voir "Gnome-tweak-tool" dans la doc
https://doc.ubuntu-fr.org/tutoriel/pers … tweak-tool

Dernière modification par alca94 (Le 11/07/2015, à 23:38)

dranreb30 · Le 11/07/2015, à 23:37

.....En tout cas ce n'est pas dans paramètres système , pas de paramètres gestionnaire des fenètres non plus ...
rien non plus dans Tweak tool j'ai essayé un peu tout...Il y a bien un gestionnaire de Fenêtre Compiz mais je ne vois rien qui correspond.

Dernière modification par dranreb30 (Le 11/07/2015, à 23:44)

Ferod · Le 13/07/2015, à 10:13

dranreb30 a écrit :

rien non plus dans Tweak tool j'ai essayé un peu tout...

Bizarre... Dans Tweak Tool, dans l'onglet Police on peut changer la police de l'interface et ça change bien la police des menus dans nautilus (dans les menus, les raccourcis, les noms des fichiers, etc...)
https://ryanlerch.fedorapeople.org/tweaktool.png

dranreb30 · Le 13/07/2015, à 13:43

Oui Bizzare dans Tweak tool tout est à "optima 8 normal " et dans la barre du navigateur de Fichiers c'est une police au corps bien plus gros , en gras et blanche en plus....

dranreb30 · Le 15/07/2015, à 16:31

En fait dans Nautilus, plein d'options bien utiles avaient disparues , donc j'ai remplacé par Némo et le problème est résolu , enfin , contourné plutôt ...
Au passage j'aimerais bien changer la police des les bulles d'aide (texte encadré )...

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#1 Le 11/07/2015, à 21:06

police du menu de gestionnaire de fichiers ubuntu 14.04

#2 Le 11/07/2015, à 22:21

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

#3 Le 11/07/2015, à 22:59

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

#4 Le 11/07/2015, à 23:13

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

#5 Le 11/07/2015, à 23:20

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

#6 Le 11/07/2015, à 23:28

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

#7 Le 11/07/2015, à 23:37

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

#8 Le 13/07/2015, à 10:13

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

#9 Le 13/07/2015, à 13:43

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

#10 Le 15/07/2015, à 16:31

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

Pied de page des forums