{"partition": "head_middle", "source_domain": "forum.ubuntu-fr.org", "digest": "sha1:6EPAZJE7EUL27GRWXOWNKFYNA2ME6776", "path": "/lustre/fsn1/projects/rech/qgz/uzq54wg/processed_redpajama/base_processing/output/fr/2014-15/000_00002.parquet"}
» Modifier la typo de la barre d'activité
Modifier la typo de la barre d'activité
Bonjour à tous,En réalité cela fait un moment que je cherche à modifier la typo (police, taille, couleur) de la barre des taches, ou je ne sait comment elle se nomme, de Gnome 3. j'ai tenté de trifouiller dans les entrailles CSS des thèmes mais aucune des modifications que j'ai pu tester n'a eu d'effet sur la dite typo. Je me tourne donc vers vous, en espérant trouver une solution. Ce n'est certes pas un problème fondamental mais quand on est perfectionniste ... Bien sûr j'ai essayé avec gnome-tweak-tool mais il ne prend pas en charge la barre d'activité. J'ai également tenté, en m'inspirant de