Contenu | Rechercher | Menus

Annonce

Le forum rencontre en ce moment quelques soucis de charge, il est possible qu'une erreur soit affichée quand vous postez un message, ne rechargez pas la page au risque de poster une seconde fois votre message

Si vous rencontrez des soucis à rester connecté sur le forum (ou si vous avez perdu votre mot de passe) déconnectez-vous et reconnectez-vous depuis cette page, en cochant la case "Me connecter automatiquement lors de mes prochaines visites".

#1 Le 14/03/2013, à 03:04

Police différentes dans tout ce qui ne dépend pas de Unity

Bonjour!
Je suis sous Ubuntu 12.10 et depuis quelques temps (2/3jours) dans LibreOffice, Inkscape, Gimp, ou VLC (menu contextuel), la police affichée est "sans" (en tout cas, elle y ressemble beaucoup), mais dans la barre de menus en haut, dans le dash, dans les applets, la police est Ubuntu.
Je n'arrive pas à rectifier le problème malgré les différents outils de configuration que j'ai.
Comment puis-je remettre la police Ubuntu partout?
Merci bien!

Hors ligne

#2 Le 14/03/2013, à 12:51

Re : Police différentes dans tout ce qui ne dépend pas de Unity

Salut,

Tu peux installer Unsettings.

Pour cela, passe les commandes suivantes :

sudo add-apt-repository ppa:diesch/testing
sudo apt-get update
sud apt-get install unsettings

A+


Un problème résolu ? Indiquez le en modifiant le titre du sujet.
Linux user 449594

Hors ligne

#3 Le 14/03/2013, à 13:35

Re : Police différentes dans tout ce qui ne dépend pas de Unity

inbox a écrit :

Salut,

Tu peux installer Unsettings.

Pour cela, passe les commandes suivantes :

sudo add-apt-repository ppa:diesch/testing
sudo apt-get update
sud apt-get install unsettings

A+

J'avais essayé avec Gnome Tweak Tool et Unity Tweak Tool, les deux ont exactement les mêmes réglages avec Ubuntu comme police partout. Unsettings pourrait vraiment régler le problème?

Hors ligne

#4 Le 14/03/2013, à 13:49

Re : Police différentes dans tout ce qui ne dépend pas de Unity

Je n'en sais rien, essaye.

[EDIT] Après essai, c'est la police par défaut qu'il faut modifier.

Dernière modification par inbox (Le 14/03/2013, à 14:00)


Un problème résolu ? Indiquez le en modifiant le titre du sujet.
Linux user 449594

Hors ligne

  • Accueil
  • » Forum
  • » Unity
  • » Police différentes dans tout ce qui ne dépend pas de Unity

Haut de page ↑